Comment définir la police par défaut de PowerShell sur Consolas?


10

J'aimerais que la police Consolas soit définie par défaut pour PowerShell sur Windows 7, peu importe comment je la lance.

J'ai trouvé très peu d'explications sur le Web pour ce faire, et aucune n'était vraiment claire pour moi.

Eh bien, selon cette question , PowerShell est démarré par un raccourci que l'utilisateur normal ne peut pas modifier (c'était mon cas).

J'ai fait un clic droit sur le raccourci, puis j'ai cliqué sur son onglet "police". Cette fois, en essayant de changer la police, j'ai obtenu la boîte de dialogue "accès réservé à l'administrateur", me permettant de changer le raccourci.

Malheureusement, cela n'a pas été suffisant, car un lancement ultérieur est revenu à la police par défaut.

Existe-t-il une autre méthode pour définir une police par défaut?

Réponses:


7

Eh bien, selon cette question , PowerShell est démarré par un raccourci qu'un utilisateur normal ne peut pas modifier (c'était mon cas).

J'ai cliqué avec le bouton droit sur le raccourci, démarré PowerShell en tant qu'administrateur, puis changé la police. Par la suite, la police Consolas a été effectivement définie comme valeur par défaut.


3
Cela fonctionne pour Windows 7. Pour Windows 8, la console démarre avec la police que vous avez choisie, puis revient à la police raster désagréable. :(
Greg Woods

A travaillé pour moi dans Windows 8. Ran PowerShell en tant qu'administrateur, changer la police, fermer; la prochaine fois exécutée en tant qu'utilisateur normal, la nouvelle police est heureuse.
Daryn

Ce qui n'a pas fonctionné, même en tant qu'administrateur, a été de modifier la police par défaut. Vous devez aller dans Propriétés-> Police.
Andreas Haferburg

5

Conseils pratiques (j'en ai écrit certains car cela dépend de la façon dont vous lancez PowerShell):

  1. Si PowerShell est lancé par la commande Démarrer → Exécuter , vous pourrez peut-être modifier la clé HKCU \ Console \ xxx, où xxx est quelque chose comme% systemroot% ... powershell.exe. Renommez simplement la clé et testez.

  2. Si PowerShell est lancé par un raccourci (comme lorsque vous épinglez un élément dans la barre des tâches ou dans l'écran de démarrage (Windows 8), vous devez modifier le raccourci. Pour hériter de la configuration par défaut, je vous recommande de créer un autre, connectez-vous en tant qu'administrateur, déplacez-le dans le dossier C: \ ProgramData \ Microsoft \ Windows \ Start Menu \ Programs \ System Tools , supprimez le raccourci d'origine et renommez le vôtre. Ensuite, ouvrez-le et épinglez-le dans votre barre des tâches si vous le souhaitez.

  3. Si vous n'avez pas accès en écriture au dossier ci-dessus, créez simplement le raccourci dans le bureau, par exemple, et épinglez-le. L'effet est presque le même.


2

Avec PowerShell.exe, Microsoft n'a pas autorisé la définition du type de police via des commandes, sinon vous pourriez l'ajouter à votre profil. Tout ce que vous pouvez faire, c'est ce que @surfasb a mentionné en le définissant via les propriétés de la fenêtre. Si vous travaillez avec l'ISE, il existe des options pour définir la police en regardant $psISE.Options.



1

En prenant un indice d'un commentaire précédent de @Grawity, vous remarquerez lorsque vous ouvrez Powershell que les options de la fenêtre ( Ctrl Alt Space) que les options sont similaires à la fenêtre de la console.

Cliquez donc sur par défaut et vous pouvez modifier les options.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.