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 changer la police par défaut en ce que vous voulez. Par exemple, si vous préférez la police "Consolas", la valeur 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 sur 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 :
Ouvrez le terminal Windows .
Utilisez le raccourci clavier Maj + Ctrl + , (virgule) pour ouvrir l'interface utilisateur des paramètres.
Cliquez sur Par défaut .
Cliquez sur l' onglet Apparence .
Dans la section "Texte", utilisez le paramètre "Face de police" et tapez le nom du style - par exemple, Consolas .
Cliquez sur le bouton Enregistrer 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 :
Ouvrez le terminal Windows .
Utilisez le raccourci clavier Maj + Ctrl + , (virgule) pour ouvrir l'interface utilisateur des paramètres.
Cliquez sur le profil pour modifier les paramètres — par exemple, Windows PowerShell ou Invite de commandes .
Cliquez sur l' onglet Apparence .
Dans la section "Texte", utilisez le paramètre "Face de police" et tapez le nom du style - par exemple, Consolas .
Cliquez sur le bouton Enregistrer .
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 :
Ouvrez le terminal Windows .
Utilisez le raccourci clavier Ctrl + Alt + , (virgule) pour ouvrir le fichier settings.json avec l'éditeur de code par défaut.
Petite astuce : 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 .
Sous la section "profils", à l'intérieur des crochets "par défaut", tapez la commande suivante pour changer la police :
"fontFace": "Consoles"
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. Vous pouvez trouver le nom de toutes les polices disponibles dans Paramètres > Personnalisation > Polices .
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 :
Ouvrez le terminal Windows .
Utilisez le raccourci clavier Ctrl + Alt + , (virgule) pour ouvrir le fichier settings.json avec l'éditeur de code par défaut.
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": "Consoles"
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 de la parenthèse, 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.
Utilisez le raccourci clavier Ctrl + S pour enregistrer le fichier.
Une fois les étapes terminées, seul le profil que vous avez configuré commencera à utiliser la nouvelle famille de polices.
Voici comment nettoyer l'installation de Windows 11 à partir de l'USB, de l'outil de création de média, de la réinitialisation de ce PC, du montage de l'ISO sur un SSD ou un disque dur sur votre ordinateur portable ou votre ordinateur de bureau.
PowerShell vous permet de changer rapidement le mot de passe de n'importe quel compte local Windows 11 avec quelques commandes, et voici comment.
Si les résultats Web sur la recherche Windows 10 ne vous conviennent pas, utilisez ce guide pour désactiver la fonctionnalité de la version 1803 modifiant le registre. Voici comment.
Sous Windows 11 ou Windows 10, vous pouvez exporter les applications installées dans un fichier JSON à l'aide de la commande winget. Vous pouvez également importer des applications. Étapes ici.
Pour supprimer la section Recommandé du menu Démarrer de Windows 11, activez la section Supprimer les recommandations de la stratégie de groupe du menu Démarrer.
Pour autoriser un fichier ou une application qui a été bloqué par Microsoft Defender Antivirus, suivez ces étapes sur Windows 10.
Windows Terminal 1.6 a une nouvelle interface utilisateur de paramètres et voici comment activer l'expérience pour modifier les paramètres sans modifier le fichier settings.json.
Pour ouvrir un emplacement de dossier à partir de l'explorateur de fichiers dans l'invite de commande en tant qu'administrateur, vous devez modifier le registre pour ajouter l'option de menu contextuel.
Pour corriger la connexion à distance avec un compte Microsoft pour accéder au dossier partagé ou au bureau à distance sur Windows 11, procédez comme suit :
Vous pouvez effacer le disque dur et réinstaller Windows 10 de deux manières à l'aide de l'option Réinitialiser ce PC ou d'une clé USB. Voici comment.
Lorsque vous obtenez l'une des erreurs 0xC1900101 en essayant d'installer Windows 10, cela signifie généralement des problèmes de pilote - Voici comment résoudre le problème.
Sous Windows 10, les erreurs 0xC1900200 - 0x20008 et 0xC1900202 - 0x20008 signifient que votre PC ne répond pas aux exigences minimales. Vérifier la résolution du problème
Pour permettre aux scripts de s'exécuter sur PowerShell, vous devez modifier la stratégie d'exécution. Le Set-ExecutionPolicy RemoteSigned autorise les scripts.
Pour DÉSINSTALLER un PILOTE sous Windows 11, utilisez l'application Paramètres, le Panneau de configuration ou le Gestionnaire de périphériques. Voici les instructions pour chaque méthode.
Pour activer le mode IE sur Microsoft Edge, vous pouvez utiliser de nouveaux paramètres de compatibilité ou l'éditeur de stratégie de groupe. Voici comment sur Windows 11 ou 10.
Si Windows 10 affiche Ces fichiers peuvent être dangereux pour votre ordinateur ou Nous ne pouvons pas vérifier qui a créé ce message de fichier, utilisez ces correctifs.
Sous Windows 11, vous pouvez ramener le menu ruban classique dans l'explorateur de fichiers, et voici comment en modifiant le registre.
Le programme de désinstallation du pilote d'affichage supprime complètement les pilotes graphiques Nvidia et AMD lorsque d'autres échouent ou que vous souhaitez une suppression complète sous Windows 10.
Macrium Reflect est un excellent outil pour le clonage de disque, que vous remplaciez un disque dur par un SSD ou que vous créiez une sauvegarde complète. Voici comment l'utiliser.
Le curseur de la souris est-il en retard sur votre Mac ? Si le problème vous frustre, voici quelques solutions simples que vous pouvez essayer de résoudre.
Essayez-vous d'utiliser le point d'accès mobile sur les téléphones Samsung Galaxy, uniquement pour recevoir des erreurs en retour ? Voici comment réparer le point d'accès mobile qui ne fonctionne pas sur les téléphones Samsung Galaxy.
Vous voulez savoir comment désactiver la navigation privée Safari sur votre Mac ? Voici comment vous pouvez personnaliser votre expérience de navigation rapidement et efficacement.
Vous voulez rendre votre police WhatsApp différente ? Vous pouvez pimenter vos messages texte avec ces trucs et astuces créatifs pour les textes WhatsApp.
Votre HomePod n’apparaît-il pas dans l’application Maison par défaut ? Voici les meilleures façons de réparer le HomePod qui n’apparaît pas dans l’application Accueil.
Votre téléviseur Samsung ne parvient-il pas à se connecter au Wi-Fi ? Voici les meilleures façons de réparer le téléviseur Samsung qui ne se connecte pas au Wi-Fi.
Meilleurs adaptateurs HDMI pour MacBook Air et MacBook Pro en 2024 : 1. Adaptateur HDMI RayCue, 2. Adaptateur Benfei USB-C vers HDMI, 3. Anker USB-C...
Vous rencontrez des problèmes sur votre Deck et souhaitez le réinitialiser ? Consultez notre guide complet pour savoir comment réinitialiser correctement votre Steam Deck en usine.
Vous recherchez un nouvel ordinateur portable convertible 2-en-1 à acheter ? Consultez notre examen approfondi de l’ordinateur portable HP Envy x360 15 (2023) pour voir s’il correspond à la facture.
Voyons en détail ce qu'est la session privée Spotify et comment vous pouvez l'activer ou la désactiver sur l'application de bureau et mobile Spotify.
