Comment réparer la police qui ne change pas dans PowerShell sous Windows 10

PowerShell vous permet de personnaliser la police dans laquelle il affiche le texte . Il contient quelques polices spécifiques parmi lesquelles vous pouvez choisir, vous n'avez donc pas toute votre bibliothèque de polices à votre disposition, mais ces polices sont conçues pour fonctionner avec un terminal, ce que toutes les polices ne sont pas. Changer la police est facile et tout ce que vous sélectionnez peut être défini comme police par défaut dans PowerShell. Si vous essayez de modifier la police par défaut et qu'elle ne changera pas, vous vous demanderez peut-être ce que vous faites mal. Ce problème est en fait un problème avec la police que vous sélectionnez.

Corrige la police qui ne change pas dans PowerShell

You can change the font that PowerShell uses by right-clicking the title bar and going to Properties or Default. There’s a Font tab in the window that opens where you can select a font and its size. If the changes you’re making on this window are not sticking i.e., PowerShell won’t remember them the next time you open the app, you will have to select a different font. When you do, PowerShell will remember it. This could be a problem with any font so try whichever one works and go with that. You can also install other fonts but make sure they will work with PowerShell before you install them.

To fix the font itself, you might have to download and install it all over again. It’s hard to say what might cause the problem with the font. When I had this problem, the font worked fine in other apps and PowerShell was able to use it for the current session. It only failed to use it when I quit the app and ran it again.

There’s also the fact that the font may not be available for download. These fonts tend to come pre-installed so you can’t go to popular font repositories and get them from there. What you can do is, if you have access to another Windows 10 PC, you can export the font from the other system and install it on the one you’re having PowerShell trouble with. It might work.

Une autre astuce qui vaut la peine d'être essayée consiste à exécuter PowerShell avec des droits d'administrateur, puis à modifier sa police. À proprement parler, vous n'avez pas besoin de droits d'administrateur pour personnaliser l'apparence de PowerShell, mais il est possible qu'un problème avec la police nécessite désormais que vous puissiez la modifier uniquement lorsque vous disposez d'un accès administrateur dans PowerShell.

Cela semble être un problème récurrent dans PowerShell et cela s'avère presque toujours être un problème avec la police.