Comment changer la police par défaut dans Terminal Windows

Windows Terminal est l'application de terminal par défaut dans Windows 11. Voici des façons faciles différentes d'ouvrir la borne Windows dans Windows 11.

Contrairement à Windows 10, le nouveau terminal Windows est l'application de terminal par défaut dans Windows 11. Vous n'avez plus besoin de l'installer manuellement. Il est inclus par défaut. Par rapport aux précédents shell de Windows, Windows Terminal est moderne, rapide et puissant. Si vous avez vu Windows Terminal, vous savez qu'il fournit une interface utilisateur unifiée pour accéder à toutes les shell de Windows dans un emplacement central avec une interface utilisateur à onglets.
Grâce à l'option Profils, vous pouvez créer plusieurs profils avec différentes configurations de shell.
Parmi les options pour personnaliser l'affichage et l'apparence, on peut modifier les police de caractères.

Dans ce tutoriel, nous allons voir comment changer la police par défaut dans Terminal Windows.

Comment changer la police par défaut dans Terminal Windows

Comment changer la police par défaut dans Terminal Windows

Par défaut, chaque profil utilise la même police de caractères Cascadia Mono.

La police d'écriture de Windows Terminal
  • Ouvrez Windows Terminal
  • Puis cliquez sur le menu déroulant sur la barre de titre
  • Sélectionnez l'option Paramètres. Notez que vous pouvez accéder directement aux paramètres par le raccourci clavier : CTRL+,
Ouvrir les paramètres de Windows Terminal
  • Ensuite cliquez sur le profil depuis le menu de gauche 1
  • Puis cliquez sur le menu Apparence en haut 2
Accéder au menu Apparence de Windows Terminal
  • Puis vous accédez aux paramètres de polices, texte. Vous pouvez modifier le type de police et en dessous la taille de la police
  • Enfin plus bas, vous pouvez définir l'épaisseur du texte
Comment changer la police par défaut dans Terminal Windows
  • Cliquez sur Enregistrer en bas à droite de l'écran pour prendre en compte les modifications
  • Ouvrez un nouvel onglet du profil pour bénéficier des changements de police de caractères
Comment changer la police par défaut dans Terminal Windows
Bravo ! vous avez réussi à changer la police sur Windows Terminal.

Modifier la police par défaut globale sur Windows Terminal

Comme nous venons de le voir, les modifications des polices se font sur les profils.
Mais comment changer la police par défaut de manière globale sur Windows Terminal ?
Cela se fait dans le fichier de configuration settings.json.

  • Cliquez en bas à gauche sur Ouvrir le fichier JSON
Ouvrez le fichier de configuration settings.json de Windows Terminal
  • Cela ouvre le fichier de configuration Windows Terminal dans l'éditeur de texte. Repérez la ligne du profil par défaut :
"defaults": {},
Modifier la police par défaut globale sur Windows Terminal
  • Puis saisissez fontFace suivi du nom de la police en respectant la syntaxe suivante
"defaults": {
		"fontFace": "Consolas"
	},
  • Enregistrez les modifications par le raccourci clavier CTRL+S
Modifier la police par défaut globale sur Windows Terminal
Bravo ! vous avez réussi à changer la police par défaut de Windows Terminal.