Comment corriger la police qui ne change pas dans PowerShell sur Windows 10

PowerShell vous permet de personnaliser la police dans laquelle il affiche le texte. Il a quelques polices spécifiques que vous pouvez choisir afin que vous n'ayez pas votre bibliothèque de polices entière à votre disposition, mais ces polices sont conçues pour fonctionner avec un terminal qui ne sont pas toutes les polices. 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 vous demandez peut-être 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 allant dans 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 dans cette fenêtre ne persistent 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 ferez, 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 corriger la police elle-même, vous devrez peut-être la télécharger et l'installer à nouveau. Il est difficile de dire ce qui pourrait causer le problème avec la police. Lorsque j'ai eu ce problème, la police a bien fonctionné dans d'autres applications et PowerShell a pu l'utiliser pour la session en cours. Il n'a pas réussi à l'utiliser 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 en 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 installez-le sur celui avec lequel vous rencontrez des problèmes avec PowerShell. Cela peut fonctionner.

Une autre astuce qui mérite d'être essayée consiste à exécuter PowerShell avec les droits d'administrateur, puis à modifier sa police. À strictement parler, vous n'avez pas besoin de droits d'administrateur pour personnaliser l'apparence de PowerShell, mais il est possible problème avec la police, nécessite maintenant que vous ne pouvez le changer que lorsque vous avez un accès administrateur dans PowerShell.

Cela semble être un problème récurrent dans PowerShell et cela se révèle presque toujours être un problème avec la police.