PowerShell vous permet de personnaliser la police dans laquelle il affiche le texte. Il dispose de quelques polices spécifiques parmi lesquelles vous pouvez choisir afin que vous n’ayez pas toute votre bibliothèque de polices à votre disposition, mais ces polices sont conçues pour fonctionner avec un terminal qui ne contient pas toutes les polices sommes. La modification de 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 changer la police par défaut et qu’elle ne changera pas, vous pourriez vous demander ce que vous faites de mal. Ce problème est en fait un problème avec la police que vous sélectionnez.
Correction de la police qui ne change pas dans PowerShell
Vous pouvez modifier la police utilisée par PowerShell en cliquant avec le bouton droit sur la barre de titre et en accédant à Propriétés ou Par défaut. Il y a un onglet Police dans la fenêtre qui s’ouvre où vous pouvez sélectionner une police et sa taille. Si les modifications que vous apportez à cette fenêtre ne tiennent pas, c’est-à-dire que PowerShell ne s’en souviendra pas la prochaine fois que vous ouvrirez l’application, vous devrez sélectionner une police différente. Lorsque vous le faites, PowerShell s’en souviendra. Cela pourrait être un problème avec n’importe quelle police, alors essayez celle qui fonctionne et allez-y. Vous pouvez également installer d’autres polices, mais assurez-vous qu’elles fonctionneront avec PowerShell avant de les installer.
Pour réparer la police elle-même, vous devrez peut-être la télécharger et la réinstaller. Il est difficile de dire ce qui pourrait causer le problème avec la police. Lorsque j’ai eu ce problème, la police fonctionnait bien dans d’autres applications et PowerShell a pu l’utiliser pour la session en cours. Il n’a échoué à l’utiliser que lorsque j’ai quitté l’application et l’ai exécutée à nouveau.
Il y a aussi le fait que la police peut ne pas être disponible au téléchargement. Ces polices ont tendance à être préinstallées, vous ne pouvez donc pas accéder aux référentiels de polices populaires et les obtenir à partir de là. Ce que vous pouvez faire, c’est que si vous avez accès à un autre PC Windows 10, vous pouvez exporter la police de l’autre système et l’installer sur celui avec lequel vous rencontrez des problèmes avec PowerShell. Cela peut fonctionner.
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 soit maintenant nécessaire, vous devez maintenant la modifier uniquement lorsque vous avez un accès administrateur dans PowerShell.
Cela semble être un problème récurrent dans PowerShell et il s’avère presque toujours être un problème avec la police.