Comment changer la police par défaut sur le terminal Windows

Sous Windows 11 ou 10, l'application Windows Terminal est livrée avec un ensemble prédéfini de paramètres de personnalisation, y compris « Cascadia Mono » comme police par défaut sur chaque profil.

Cependant, il est possible de modifier la police par défaut comme vous le souhaitez. Par exemple, si vous préférez la police « Consolas », la police par défaut d'origine pour l'invite de commande ou toute autre police disponible sur votre appareil avec l'interface utilisateur des paramètres ou le fichier « settings.json ».

Ce guide vous apprendra comment modifier la police par défaut de l'application Windows Terminal sous Windows 11 ou 10.

Modifier la police par défaut du terminal Windows avec l'interface utilisateur des paramètres

Pour modifier la police par défaut avec l'interface utilisateur des paramètres, procédez comme suit :

1. Ouvrir Terminal Windows.

2. Utilisez le Maj + Ctrl + , (virgule) raccourci clavier pour ouvrir l’interface utilisateur des paramètres.

3. Cliquer sur Valeurs par défaut.

4. Clique le Apparence languette.

5. Dans la section « Texte », utilisez le paramètre « Police » et tapez le nom du style – par exemple, Consoles.

   

6. Clique le Sauvegarder bouton dans le coin inférieur droit.

Une fois les étapes terminées, le nouveau style de police s'appliquera immédiatement à chaque profil configuré sur le terminal Windows.

Configurer la police de profil spécifique par défaut

Pour modifier le style de police d'un outil de ligne de commande spécifique, procédez comme suit :

1. Ouvrir Terminal Windows.

2. Utilisez le Maj + Ctrl + , (virgule) raccourci clavier pour ouvrir l’interface utilisateur des paramètres.

3. Cliquez sur le profil pour modifier les paramètres — par exemple, Windows PowerShell ou Invite de commande.

4. Clique le Apparence languette.

5. Dans la section « Texte », utilisez le paramètre « Police » et tapez le nom du style – par exemple, Consoles.

   

6. Clique le Sauvegarder bouton.

Une fois les étapes terminées, seul l'outil de ligne de commande que vous avez configuré commencera à utiliser la nouvelle famille de polices.

Modifier la police par défaut du terminal Windows avec settings.json

Pour définir une nouvelle police par défaut pour le terminal avec le fichier settings.json, procédez comme suit :

1. Ouvrir Terminal Windows.

2. Utilisez le Ctrl + Alt + , (virgule) raccourci clavier pour ouvrir le fichier settings.json avec l'éditeur de code par défaut.

   Conseil rapide: Il est recommandé d'utiliser Visual Studio Code. Vous pouvez également ouvrir le fichier en cliquant sur le bouton de menu (flèche vers le bas) à côté de l'onglet et en sélectionnant l'option Paramètres option.

3. Dans la section « Profils », à l'intérieur des crochets « par défaut », tapez la commande suivante pour modifier la police :

   "fontFace": "Consolas"

   

   Dans la commande, assurez-vous de modifier les Consolas pour le nom du style de police que vous souhaitez utiliser.

   Conseil rapide: Si vous avez plus d’une ligne de code entre crochets, assurez-vous que toutes les lignes se terminent par une virgule (,) à l’exception de la dernière ligne. Sinon, les paramètres risquent de ne pas être enregistrés correctement. Vous pouvez trouver le nom de toutes les polices disponibles sur Paramètres > Personnalisation > Polices.

4. Utilisez le Ctrl+S raccourci clavier pour enregistrer le fichier.

Une fois les étapes terminées, les paramètres de police s'appliqueront automatiquement.

Configurer la police de profil spécifique par défaut

Pour spécifier un nouveau style de police pour un outil de ligne de commande avec le fichier settings.json, procédez comme suit :

1. Ouvrir Terminal Windows.

2. Utilisez le Ctrl + Alt + , (virgule) raccourci clavier pour ouvrir le fichier settings.json avec l'éditeur de code par défaut.

3. Dans la section « Profils », entre parenthèses du profil que vous souhaitez mettre à jour, tapez la commande suivante pour modifier la police :

   "fontFace": "Consolas"

   

   Dans la commande, assurez-vous de modifier les Consolas pour le nom du style de police que vous souhaitez utiliser.

   Conseil rapide: Si vous avez plus d’une ligne de code entre crochets, assurez-vous que toutes les lignes se terminent par une virgule (,) à l’exception de la dernière ligne. Sinon, les paramètres risquent de ne pas être enregistrés correctement.

4. Utilisez le Ctrl+S raccourci clavier pour enregistrer le fichier.

Une fois les étapes terminées, seul le profil que vous avez configuré commencera à utiliser la nouvelle famille de polices.