Comment changer le type de police par défaut sur Windows Terminal

1642963387 Comment changer le type de police par defaut sur Windows
⏱️ 5 min read

Sur Windows 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 changer la police par défaut en ce que vous voulez. Par exemple, si vous préférez la police “Consolas”, qui est la police par défaut pour l’invite de commande, ou toute autre police disponible sur votre appareil à l’aide de l’interface utilisateur des paramètres (version 1.6 ou ultérieure) ou en ajustant le fichier “settings.json”.

Dans ce guide, vous apprendrez à modifier la police par défaut de l’application Windows Terminal sur Windows 10.

Modifier le type de police par défaut à l’aide de l’interface utilisateur des paramètres du terminal Windows

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

  1. Ouvert Terminal Windows.

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

    Note rapide: Cette option est disponible à partir de la version 1.6. Vous pouvez utiliser ces étapes pour activer l’interface des paramètres sur votre ordinateur.
  3. Cliquer sur Couche de base.

  4. Clique le Apparence languette.

  5. Dans la section “Texte”, utilisez le paramètre “Face de police” et tapez le nom du style – par exemple, Consoles, qui est le style de police par défaut disponible dans l’invite de commande.

    Windows Terminal change la police globalement

  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 le type de 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. Ouvert Terminal Windows.

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

  3. Cliquez sur le profil dont vous souhaitez modifier les paramètres, par exemple, WindowsPowerShell ou Invite de commandes.

  4. Clique le Apparence languette.

  5. Dans la section “Texte”, utilisez le paramètre “Face de police” et tapez le nom du style – par exemple, Consoles.

    Police de profil définie par le terminal Windows
    Police de profil définie par le terminal Windows

  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 le type de police par défaut à l’aide de Windows Terminal settings.json

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

  1. Ouvert 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 le Réglages option.
  3. Sous la section “profils”, à l’intérieur des crochets “par défaut”, tapez la commande suivante pour changer la police :

    "fontFace": "Consolas"
    Police globale settings.json du terminal Windows
    Police globale settings.json du terminal Windows

    Dans la commande, assurez-vous de changer 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 parenthèses, 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 Réglages > 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 le type de 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. Ouvert 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. Sous la section “profils”, à l’intérieur des crochets du profil que vous souhaitez mettre à jour, tapez la commande suivante pour changer la police :

    "fontFace": "Consolas"
    Police de profil Windows Terminal settings.json
    Police de profil Windows Terminal settings.json

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

    Conseil rapide: Si vous avez plus d’une ligne de code à l’intérieur du crochet, 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.

How useful was this post?

Click on a star to rate it!

Average rating 0 / 5. Vote count: 0

No votes so far! Be the first to rate this post.

Vous aimerez aussi...