Comment créer ou dupliquer des profils sur Windows Terminal

Le terminal Windows facilite la création ou la duplication de nouveaux profils pour les outils de ligne de commande à l'aide de l'interface utilisateur des paramètres. Bien que le terminal Windows soit déjà fourni avec des profils pour toutes les applications les plus courantes (telles que l'invite de commande et PowerShell), la possibilité de créer de nouveaux profils vous permet de créer des expériences supplémentaires avec des schémas de couleurs, des polices et des arrière-plans personnalisés pour chaque application que vous utilisez.

Les options sont disponibles à partir de la version 1.9 de Windows Terminal . Si vous avez une version plus ancienne, vous pouvez toujours créer des profils, mais vous n'aurez pas la possibilité de dupliquer. Bien sûr, vous pouvez toujours accomplir les mêmes tâches en modifiant le fichier Settings.json.

Dans ce guide , vous apprendrez les étapes pour créer ou dupliquer des profils Windows Terminal sur Windows 10 .

Créer un nouveau profil sur le terminal Windows via l'interface utilisateur des paramètres

Pour créer un nouveau profil Windows Terminal pour un outil de ligne de commande, procédez comme suit :

  1. Ouvrez le terminal Windows .

  2. Cliquez sur le bouton de menu (flèche vers le bas) et sélectionnez l' option Paramètres .

  3. Cliquez sur Ajouter un nouveau profil .

  4. Cliquez sur le bouton Nouveau profil vide .

    How to create or duplicate profiles on Windows Terminal

    Ajouter une nouvelle option de profil

  5. Cliquez sur l' onglet Général .

  6. Dans le paramètre "Nom", confirmez un nom pour le profil.

    How to create or duplicate profiles on Windows Terminal

    Paramètres généraux du profil Windows Terminal

  7. Dans le paramètre "Ligne de commande", spécifiez l'outil de commande que vous souhaitez utiliser avec le nouveau profil (tel que l'invite de commande ou PowerShell).

    Astuce : vous pouvez cliquer sur le bouton Parcourir pour sélectionner l'exécutable.

  8. (Facultatif) Désactivez l'option Utiliser le répertoire du processus parent et spécifiez un répertoire de démarrage personnalisé, par exemple, « C : ».

  9. Dans le paramètre "Icône", spécifiez un fichier d'icône pour identifier le profil.

  10. Dans le paramètre "Titre de l'onglet", spécifiez le titre souhaité pour l'onglet lorsque l'application est en cours d'exécution.

  11. Cliquez sur le bouton Enregistrer .

  12. (Facultatif) Cliquez sur l' onglet Apparence .

  13. Personnalisez le jeu de couleurs , le style et la taille de la police, le curseur, l'arrière- plan de l'image , la transparence , etc.

    How to create or duplicate profiles on Windows Terminal

    Paramètres d'apparence

  14. Cliquez sur le bouton Enregistrer .

  15. (Facultatif) Cliquez sur l' onglet Avancé .

  16. Personnalisez la taille de l'historique, l'anticrénelage du texte, etc.

  17. Cliquez sur le bouton Enregistrer .

Une fois les étapes terminées, vous pouvez lancer l'outil avec des paramètres et des couleurs personnalisés.

Dupliquer le profil sur le terminal Windows via l'interface utilisateur des paramètres

L'application facilite encore plus la création de profils supplémentaires sur ceux existants avec l'option de duplication.

Pour dupliquer un profil Windows Terminal, procédez comme suit :

  1. Ouvrez le terminal Windows .

  2. Cliquez sur le bouton de menu (flèche vers le bas) et sélectionnez l' option Paramètres .

  3. Cliquez sur Ajouter un nouveau profil .

  4. Dans la section "Dupliquer un profil", sélectionnez le profil sur lequel vous souhaitez baser le nouveau profil.

  5. Cliquez sur le bouton Dupliquer .

    How to create or duplicate profiles on Windows Terminal

    Profil en double du terminal Windows

  6. Cliquez sur l' onglet Général .

  7. Personnalisez le nouveau profil Windows Terminal avec les nouveaux paramètres (si nécessaire).

    How to create or duplicate profiles on Windows Terminal

    Paramètres généraux du profil Windows Terminal

  8. (Facultatif) Cliquez sur l' onglet Apparence .

  9. Personnalisez le jeu de couleurs, le style et la taille de la police, le curseur, l'arrière-plan de l'image, la transparence, etc.

    How to create or duplicate profiles on Windows Terminal

    Paramètres d'apparence

  10. Cliquez sur le bouton Enregistrer .

  11. (Facultatif) Cliquez sur l' onglet Avancé .

  12. Personnalisez la taille de l'historique, l'anticrénelage du texte, etc.

  13. Cliquez sur le bouton Enregistrer .

Après avoir terminé les étapes, le nouveau profil sera créé, similaire à l'utilisation de l'option vide.

Créer un nouveau profil sur Windows Terminal via un fichier JSON

Pour créer un nouveau profil Terminal en modifiant le fichier JSON, procédez comme suit :

  1. Ouvrez le terminal Windows .

  2. Cliquez sur le bouton de menu (flèche vers le bas) et sélectionnez l' option Paramètres .

  3. Cliquez sur Ouvrir le fichier JSON .

  4. Dans la section "Profils", à l'intérieur de la parenthèse de la liste, ajoutez le code suivant pour créer un nouveau profil Windows Terminal :

    { "colorScheme": "Campbell Powershell", "commandline": "C:\\Windows\\System32\\diskpart.exe", "icon": "C:\\Windows\\System32\\wpcatltoast.png", "name": "Disk Part", "tabTitle": "DiskPart" }

    Cet exemple crée un nouveau profil appelé "DiskPart" qui lance l'outil de partition de disque avec un jeu de couleurs personnalisé et un titre d'onglet. Étant donné que les profils ont des options personnalisées, vous devez mettre à jour le code avec les paramètres souhaités. Si vous ne pouvez pas le comprendre, il est préférable d'utiliser l'interface utilisateur des paramètres pour terminer la tâche.

    How to create or duplicate profiles on Windows Terminal

    Fichier JSON du terminal Windows créer un profil

    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.

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

Une fois les étapes terminées, le fichier JSON sera enregistré et le nouveau profil dans le menu principal.

Dupliquer le profil sur Windows Terminal via un fichier JSON

Pour dupliquer un profil de terminal via le fichier Settings.json, procédez comme suit :

  1. Ouvrez le terminal Windows .

  2. Cliquez sur le bouton de menu (flèche vers le bas) et sélectionnez l' option Paramètres .

  3. Cliquez sur Ouvrir le fichier JSON .

  4. Dans la section "profils", sélectionnez et copiez le code du profil que vous souhaitez dupliquer à l'intérieur de la parenthèse "liste".

    How to create or duplicate profiles on Windows Terminal

    Dupliquer le profil via Settings.json

  5. Collez le code à l'endroit où vous souhaitez qu'il apparaisse dans le menu.

  6. Modifiez le code pour créer le nouveau profil si nécessaire avant d'enregistrer.

    How to create or duplicate profiles on Windows Terminal

    Code dupliqué

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

Une fois les étapes terminées, le profil sera dupliqué sur le terminal Windows.



Leave a Comment

Effectuez une installation propre de Windows 11 de six manières différentes

Effectuez une installation propre de Windows 11 de six manières différentes

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.

Comment changer le mot de passe à laide de PowerShell sur Windows 11

Comment changer le mot de passe à laide de PowerShell sur Windows 11

PowerShell vous permet de changer rapidement le mot de passe de n'importe quel compte local Windows 11 avec quelques commandes, et voici comment.

Comment désactiver la recherche Web sur Windows 10 version 1803

Comment désactiver la recherche Web sur Windows 10 version 1803

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.

Comment exporter et importer des applications avec Winget sur Windows 11, 10

Comment exporter et importer des applications avec Winget sur Windows 11, 10

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.

Comment supprimer la section Recommandé de Démarrer sur Windows 11

Comment supprimer la section Recommandé de Démarrer sur Windows 11

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.

Comment autoriser un fichier ou une application bloquée sur Microsoft Defender Antivirus

Comment autoriser un fichier ou une application bloquée sur Microsoft Defender Antivirus

Pour autoriser un fichier ou une application qui a été bloqué par Microsoft Defender Antivirus, suivez ces étapes sur Windows 10.

Comment activer linterface utilisateur des paramètres sur Windows Terminal

Comment activer linterface utilisateur des paramètres sur Windows Terminal

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.

Comment ouvrir linvite de commande en tant quadministrateur à partir de lexplorateur de fichiers sur Windows 11

Comment ouvrir linvite de commande en tant quadministrateur à partir de lexplorateur de fichiers sur Windows 11

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.

Comment résoudre le problème de connexion à distance avec un compte Microsoft sur Windows 11

Comment résoudre le problème de connexion à distance avec un compte Microsoft sur Windows 11

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 :

Comment réinstaller Windows 10

Comment réinstaller Windows 10

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.

Comment corriger les erreurs 0xC1900101 sur Windows 10

Comment corriger les erreurs 0xC1900101 sur Windows 10

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.

Comment corriger les erreurs 0xC1900200 et 0xC1900202 sur Windows 10

Comment corriger les erreurs 0xC1900200 et 0xC1900202 sur Windows 10

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

Comment changer la politique dexécution pour exécuter des scripts sur PowerShell

Comment changer la politique dexécution pour exécuter des scripts sur PowerShell

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.

Comment désinstaller les pilotes sur Windows 11

Comment désinstaller les pilotes sur Windows 11

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.

Comment activer le mode IE sur Microsoft Edge

Comment activer le mode IE sur Microsoft Edge

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.

Comment corriger lavertissement de sécurité daccès aux fichiers réseau sur Windows 10

Comment corriger lavertissement de sécurité daccès aux fichiers réseau sur Windows 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.

Comment activer le menu ruban classique de lExplorateur de fichiers sur Windows 11

Comment activer le menu ruban classique de lExplorateur de fichiers sur Windows 11

Sous Windows 11, vous pouvez ramener le menu ruban classique dans l'explorateur de fichiers, et voici comment en modifiant le registre.

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

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

Le terminal Windows vous permet de modifier la police globalement et individuellement pour chaque console, et voici comment procéder.

Comment désinstaller complètement le pilote graphique à laide de DDU sous Windows 10

Comment désinstaller complètement le pilote graphique à laide de DDU sous Windows 10

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.

COMMENT CLONER UN DISQUE DUR WINDOWS 10 VERS UN NOUVEAU SSD À LAIDE DE MACRIUM REFLECT

COMMENT CLONER UN DISQUE DUR WINDOWS 10 VERS UN NOUVEAU SSD À LAIDE DE MACRIUM REFLECT

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.

12 façons de corriger lerreur C14A du code de support de Snapchat

12 façons de corriger lerreur C14A du code de support de Snapchat

Vous voyez l’erreur C14A du code de support Snapchat lorsque vous essayez de vous connecter ? Consultez ce guide pour comprendre pourquoi cela se produit et comment vous pouvez y remédier.

Comparaison des appareils photo iPhone 15 Pro Max et Samsung Galaxy S23 Ultra : le diable est dans les détails

Comparaison des appareils photo iPhone 15 Pro Max et Samsung Galaxy S23 Ultra : le diable est dans les détails

Comparaison des appareils photo iPhone 15 Pro Max et Samsung Galaxy S23 Ultra : faible luminosité, portrait, téléobjectif, photos à la lumière du jour, vidéos et plus

Explication : Différence entre HDR, HDR10 et Dolby Vision

Explication : Différence entre HDR, HDR10 et Dolby Vision

HDR, HDR10, HDR10+, HLG ou Dolby Vision ? Vous ne savez pas quel est le meilleur format HDR pour vous ? Laissez-nous vous aider.

Comment utiliser lautocollant « Ajouter le vôtre » sur une histoire Instagram

Comment utiliser lautocollant « Ajouter le vôtre » sur une histoire Instagram

Pour rendre vos histoires Instagram plus interactives, voici comment utiliser l'autocollant Ajoutez le vôtre pour obtenir des réponses des téléspectateurs.

Comment mettre à jour le logiciel et les applications Apple TV

Comment mettre à jour le logiciel et les applications Apple TV

Les applications ne fonctionnent pas correctement sur votre Apple TV ? Voici comment mettre à jour les logiciels et applications de votre Apple TV vers la dernière version.

Comment obtenir le mode sombre dans Google Sheets (PC et mobile)

Comment obtenir le mode sombre dans Google Sheets (PC et mobile)

Vos yeux sont-ils fatigués lorsque vous utilisez Google Sheets pendant de longues heures ? Découvrez comment activer le mode sombre dans Google Sheets sur vos appareils.

5 façons de réparer lapplication YouTube qui ne fonctionne pas avec un problème de Wi-Fi

5 façons de réparer lapplication YouTube qui ne fonctionne pas avec un problème de Wi-Fi

L'application YouTube ne fonctionne-t-elle pas avec une connexion Wi-Fi ? Voici comment réparer l'application YouTube qui ne fonctionne pas en cas de problème de Wi-Fi.

Comment suspendre ou annuler labonnement Audible sur nimporte quel appareil

Comment suspendre ou annuler labonnement Audible sur nimporte quel appareil

Prenez le contrôle de votre parcours de livre audio et gérez votre abonnement en fonction de vos besoins. Voici comment suspendre ou annuler l'abonnement Audible.

4 meilleures façons de créer une fraction dans Google Docs

4 meilleures façons de créer une fraction dans Google Docs

Besoin de créer une fraction dans votre document ? Voici les meilleures façons de le faire dans Google Docs.

Comment ajouter et supprimer des numéros de ligne dans Google Docs

Comment ajouter et supprimer des numéros de ligne dans Google Docs

Vous essayez de rendre vos documents Google faciles à référencer ? L'ajout de numéros de ligne à vos documents Google est peut-être ce dont vous avez besoin.