Comment changer la taille et l'épaisseur de la police dans le terminal Windows

Cet article vous aidera à modifier la taille de la police d'un profil de terminal Windows(change font size for a Windows Terminal profile ) sur un ordinateur Windows 10 . Il existe tellement de trucs et astuces intéressants pour les terminaux Windows(Windows Terminal Tips and Tricks) que les utilisateurs trouvent très utiles. L'un de ces conseils consiste à modifier la taille de police par défaut. Vous pouvez définir la taille de la police entre 1 et 128(1 to 128) pour n'importe quel profil (comme Command Prompt , PowerShell , etc.). La taille de police par défaut définie pour un profil dans Windows Terminal est 12 . Alors que certains utilisateurs le trouvent satisfaisant, d'autres souhaitent augmenter ou diminuer la taille de la police de temps en temps. Si vous souhaitez également le faire, cet article couvre quelques étapes simples pour cela.

changer la taille de la police Terminal Windows

Outre la modification de la taille de la police, Windows Terminal fournit également la fonctionnalité permettant de définir le poids de la police. Vous pourrez définir font-weight sur Normal , Bold , Semi-Light , Thin , Extra-Light , Semi-Bold , Medium , Black , Extra-Black , Extra-Bold ou custom (entre 0 et 1000). Ainsi, en fonction de la taille de police que vous avez définie, vous pouvez sélectionner un poids de police qui conviendra le mieux à cette taille de police.

Modifier(Change) la taille et le poids de la police dans le terminal Windows(Windows Terminal)

Pour modifier la taille de la police d'un profil dans Windows Terminal , vous devez suivre ces étapes :

  • Ouvrez le terminal Windows
  • Ouvrir la page Paramètres(Settings)
  • Sélectionnez un profil de terminal Windows
  • Accéder à la page Apparence(Appearance) du profil sélectionné
  • Définir la taille de la police
  • Utilisez le bouton Enregistrer .(Save)

Tout(First) d'abord, utilisez le menu Démarrer(Start) ou la zone de recherche(Search) pour ouvrir l' application Windows Terminal . Il s'ouvrira avec le profil par défaut défini par vous.

Après cela, ouvrez sa page Paramètres(Settings) . Utilisez Ctrl+, raccourci clavier pour l'ouvrir. Alternativement, vous pouvez simplement cliquer sur le menu déroulant présent dans la partie supérieure et sélectionner l' option Paramètres pour l'ouvrir.(Settings)

ouvrir Paramètres

Vous devez maintenant sélectionner un profil pour lequel vous souhaitez modifier la taille de la police. Utilisez la section Profils(Profiles) disponible sur le côté gauche et sélectionnez un profil. Après cela, accédez à la page Apparence(Appearance) en utilisant la section de droite.

sélectionner un profil

Enfin, vous pouvez modifier la taille de la police en utilisant l'option donnée. L'option pour définir le poids de la police est également là. Une fois la taille de la police modifiée, utilisez le bouton Enregistrer .(Save)

changer la taille et le poids de la police pour un terminal Windows

Accédez maintenant à ce profil Windows Terminal et vous verrez que la taille de la police est modifiée.

Ce message vous aidera si  CTRL+ does not increase Font size in Windows Terminal .

J'espère que cela aide.

Lire ensuite :(Read next:) Comment changer le profil par défaut dans Windows Terminal(change default profile in Windows Terminal) .



Axelle Derambure

About the author

Je suis un ingénieur windows,ios,pdf,erreurs,gadgets avec plus de 10 ans d'expérience. J'ai travaillé sur de nombreuses applications et frameworks Windows de haute qualité tels que OneDrive for Business, Office 365, etc. Mes travaux récents ont inclus le développement du lecteur pdf pour la plate-forme Windows et travaillé à rendre les messages d'erreur plus clairs pour les utilisateurs. De plus, je suis impliqué dans le développement de la plate-forme ios depuis quelques années maintenant et je connais très bien ses fonctionnalités et ses particularités.


Related posts