Comment ajouter et supprimer des profils dans l’application Windows Terminal sous Windows 10

Windows Terminal est une interface de ligne de commande moderne qui permet de regrouper PowerShell, l’invite de commande, WSL et Azure Cloud Shell dans une seule interface. Les utilisateurs peuvent y créer différents profils avec des environnements préconfigurés, qui définissent le comportement de chaque shell ou outil.

L’ajout de profils dans Windows Terminal vous permet de passer d’un shell à l’autre en un seul clic. Ce guide complet vous explique comment standardiser vos profils pour gagner en efficacité et en productivité dans Windows Terminal.

Si vous préférez un guide visuel, regardez Comment ajouter et supprimer des profils dans l’application Windows Terminal sous Windows 10.

Ajouter un profil dans Windows Terminal

Pour ajouter un profil dans Windows Terminal sous Windows 10, vous disposez de deux méthodes :

Méthode 1 : via l’IU (interface utilisateur) des paramètres

1. Ouvrez l’application Windows Terminal et accédez aux Paramètres (Ctrl + ,), puis sélectionnez Profils dans le volet de gauche.
2. Cliquez sur le bouton + Ajouter un nouveau sous la liste pour ajouter un profil.
3. Configurez le nouveau profil en saisissant un nom et une ligne de commande. Vous pouvez également définir d’autres caractéristiques, par exemple son répertoire de démarrage, son icône, le nom de l’onglet, son apparence, ses palettes de couleurs et son comportement au démarrage.
4. Une fois la configuration terminée, cliquez sur Enregistrer.

Méthode 2 : via settings.json

1. Sélectionnez le bouton Ouvrir le fichier JSON ou cliquez sur Paramètres en maintenant la touche Maj enfoncée pour ouvrir settings.json dans l’éditeur de texte par défaut.
2. Repérez le tableau list sous profiles.
3. Ajoutez un nouveau bloc JSON avec les propriétés suivantes :

{
"commandline": "path-to-shell-executable.exe",
"guid": "{GENERATE-A-NEW-GUID}",
"hidden": false,
"name": "Your Profile Name"
}

4. Après avoir ajouté le bloc, configurez le chemin du shell du profil, sa palette de couleurs, sa police et ses paramètres de démarrage (voir la section Dépannage ci-dessous).
5. Une fois le nouveau profil personnalisé, enregistrez settings.json : Windows Terminal se recharge automatiquement. Vérifiez la présence du profil ajouté dans le menu déroulant des paramètres.

Supprimer un profil dans Windows Terminal

Pour supprimer un profil dans Windows Terminal, deux méthodes s’offrent à vous :

Méthode 1 : via l’IU (interface utilisateur) des paramètres

1. Dans l’application Windows Terminal, accédez aux Paramètres (Ctrl + ,), puis cliquez sur Profils.
2. Sélectionnez le profil à supprimer, puis cliquez sur le bouton Supprimer le profil, situé dans les paramètres généraux à droite.
3. Confirmez avec Oui, supprimer le profil, puis cliquez sur Enregistrer pour appliquer les modifications.

Méthode 2 : via settings.json

1. Accédez aux Paramètres (Ctrl + ,) dans Windows Terminal.
2. Sélectionnez le bouton Ouvrir le fichier JSON ou cliquez sur Paramètres en maintenant la touche Maj enfoncée pour ouvrir settings.json dans l’éditeur de texte par défaut.
3. Repérez l’objet profiles, puis le tableau list.
4. Chaque entrée du tableau list correspond à un profil. Retrouvez le profil à supprimer grâce à sa propriété name.
5. Supprimez {l’objet de profil complet} du tableau list.
6. Enregistrez settings.json, puis redémarrez Windows Terminal.

AVERTISSEMENT : vous ne pouvez pas supprimer les profils par défaut comme CMD (invite de commande) ou PowerShell, seulement les profils personnalisés que vous avez ajoutés. Vous pouvez néanmoins les masquer en définissant la propriété hidden sur true dans settings.json.

Personnaliser les profils dans Windows Terminal

Vous pouvez ajuster les paramètres propres à chaque profil pour l’adapter à votre façon de travailler. Utilisez l’IU (interface utilisateur) des paramètres du Terminal pour les modifications rapides, ou settings.json pour les personnalisations en masse et les configurations avancées. Voici comment procéder :

Modifications rapides via l’IU (interface utilisateur) :

1. Accédez aux Paramètres (Ctrl + ,), choisissez le profil à modifier, puis descendez jusqu’à Paramètres supplémentaires.
2. Sélectionnez Apparence pour personnaliser les images d’arrière-plan, les thèmes, les polices, la transparence, la forme du curseur et le formatage du texte.
3. Sélectionnez Avancé pour modifier l’anticrénelage, les notifications sonores et d’autres variables d’environnement.

Modifications en masse via settings.json :

1. Cliquez sur Paramètres en maintenant la touche Maj enfoncée ou sélectionnez Ouvrir le fichier JSON pour ouvrir settings.json.
2. Parcourez le tableau list en cherchant le guid ou le name du profil, par exemple « name » : « PowerShell » , pour trouver le bon bloc.
3. Ajoutez ou modifiez du code comme « backgroundImage » ou « acrylicOpacity » dans l’objet de profil :

{
"guid": "{your-profile-guid}",
"name": "PowerShell",
"backgroundImage": "C:/Images/dev_bg.png", // Use forward slashes
"acrylicOpacity": 0.8
}

Définir un profil par défaut à l’ouverture de Windows Terminal

Vous pouvez aussi choisir le profil qui s’affichera automatiquement à l’ouverture de Windows Terminal. Votre travail n’en sera que plus fluide. Voici comment faire :

1. Via l’IU (interface utilisateur) :

1. 1. Ouvrez les Paramètres (Ctrl + ,) du Terminal, puis accédez à Démarrage, où se trouve le paramètre Profil par défaut.
   2. Sélectionnez le shell de votre choix, par exemple PowerShell, Ubuntu WSL ou CMD (invite de commande).

2. Via settings.json :

1. 1. Ouvrez settings.json (sélectionnez Paramètres en maintenant la touche Maj enfoncée), puis repérez la clé defaultProfile à la racine.
   2. Remplacez la valeur de la clé defaultProfile par le guid du profil souhaité.

Attribuer des raccourcis clavier pour changer de profil rapidement

Attribuez des raccourcis clavier pour basculer instantanément vers d’autres profils et jongler plus facilement entre plusieurs outils. La seule vraie solution passe par settings.json, car l’IU (interface utilisateur) du Terminal se limite aux raccourcis globaux comme Ctrl + T pour un nouvel onglet. Voici comment créer un raccourci propre à chaque profil :

1. Ouvrez settings.json (sélectionnez Paramètres en maintenant la touche Maj enfoncée) et repérez le tableau actions. S’il n’existe pas, créez-le à la racine du JSON.
2. Ajoutez un bloc de raccourci pour le guid ou le name d’un profil donné :

{
"actions": [
{
"command": {
"action": "newTab",
"profile": "Ubuntu-Dev" // Use "profile" or "profileGuid"
},
"keys": "Ctrl+Shift+U"
} dcreeerfcexwzew4efffffffftc dfgtcttyuyuuiuuuuujj
]
}

Consulter et gérer les profils dans Windows Terminal

Appuyez sur Win + X, puis sélectionnez Windows Terminal. Le Terminal propose deux façons de gérer vos profils : une IU (interface utilisateur) intuitive ou la modification directe du JSON. Suivez l’une des deux méthodes ci-dessous :

• Via l’IU (interface utilisateur) générale :

  1. Cliquez sur la flèche déroulante de la barre de titre et accédez aux Paramètres (ou appuyez sur Ctrl + ,).
  2. Accédez à Profils > Liste pour vérifier les shells installés comme PowerShell, l’invite de commande et WSL. Les profils par défaut portent la mention (Par défaut).
  3. Sélectionnez un profil pour ajuster son nom, le chemin de sa ligne de commande, son icône, ses polices ou ses palettes de couleurs.
  4. Désactivez l’option Afficher dans la liste déroulante des profils pour simplifier les menus sans supprimer aucune configuration.

Astuce : vous pouvez aussi survoler des paramètres comme Opacité de l’acrylique pour afficher des info-bulles expliquant leur fonction.

• Personnalisation avancée avec settings.json :

• 1. Sélectionnez Paramètres dans le menu déroulant en maintenant la touche Maj enfoncée pour ouvrir settings.json.
  2. Vous trouverez les profils sous profiles > list.
  3. Les propriétés à garder en tête sont guid (Globally Unique Identifier), name, commandline, et hidden ou colorScheme.
  4. Avant de passer à l’étape suivante, voici quelques conseils :
     1. Copiez le fichier et collez-le dans un emplacement sécurisé, afin de sauvegarder settings.json avant toute modification.
     2. Utilisez la syntaxe // Comments pour documenter vos modifications.
     3. Vérifiez la syntaxe JSON avec des outils comme JSONLint.

Dépannage des problèmes de profils dans Windows Terminal

Problème : le profil n’apparaît pas après son ajout

Si un profil Windows Terminal n’apparaît pas, cherchez des problèmes tels que des erreurs de syntaxe, des entrées guid en double ou des chemins de shell non valides. Voici comment vérifier :

1. Ouvrez settings.json (sélectionnez Paramètres en maintenant la touche Maj enfoncée), puis utilisez JSONLint pour détecter les virgules ou accolades manquantes.
2. Recherchez les doublons dans settings.json et exécutez PowerShell pour générer des guids uniques pour les profils.
3. Testez manuellement la commandline des profils.
4. Assurez-vous que « hidden » : false est bien défini (ou absent) dans le bloc JSON.
5. Redémarrez Windows Terminal et vérifiez la présence d’avertissements de plantage dans l’application.

Problème : les paramètres de Windows Terminal ne sont pas enregistrés

Si votre Terminal n’enregistre aucune modification de paramètre, la cause peut être un problème d’autorisations ou un verrouillage du fichier en lecture seule. Fermez Windows Terminal, relancez-le en tant qu’administrateur et réessayez.

Problème : fichier settings.json corrompu

Les fichiers JSON se corrompent généralement à cause de modifications manuelles comportant des erreurs de syntaxe ou de sauvegardes ayant échoué. Vous pouvez y remédier de deux façons :

1. Remplacez settings.json par une version fiable, en la restaurant depuis une sauvegarde.
2. Réinitialisez-le en renommant ou en supprimant settings.json, puis en lançant Windows Terminal pour en générer un nouveau.

Bonnes pratiques de gestion des profils Windows Terminal

Voici quelques stratégies pour gagner du temps et limiter les erreurs lors de la configuration de vos profils :

Donnez des noms explicites à vos profils

Des noms clairs et explicites évitent toute confusion dans votre Windows Terminal. Vous pouvez aussi standardiser les préfixes. Par exemple, au lieu d’un nom de profil comme « PowerShell », optez pour quelque chose de plus précis comme « Prod-PowerShell-7.4 (Admin) ».

Organisez vos profils avec des séparateurs ou des regroupements

Réduisez le désordre dans vos profils Windows Terminal en les regroupant par usage. Vous pouvez aussi les classer par fréquence d’utilisation. Dans settings.json, ajoutez des notes comme « // —- Development Tools —- » ou « // —- Production Tools —- », puis indiquez quels profils entrent dans chaque catégorie.

Sauvegardez régulièrement settings.json

Sauvegarder régulièrement votre settings.json permet d’éviter, ou du moins de limiter, les conséquences de modifications accidentelles ou d’une corruption du fichier. Vous pouvez automatiser la sauvegarde à l’aide d’un script PowerShell qui enregistre un instantané quotidien :

$settingsPath = "$env:LOCALAPPDATA\Packages\Microsoft.WindowsTerminal_*\LocalState\settings.json"

Copy-Item -Path $settingsPath -Destination "\\network\backups\terminal_$(Get-Date -Format 'yyyyMMdd').json"

Testez différents thèmes et polices pour personnaliser votre expérience

Personnaliser vos profils de Terminal améliore la lisibilité et le confort visuel, surtout si vous passez des heures dans l’application.

Une coloration syntaxique claire vous aide à mieux distinguer les commandes, les sorties et les erreurs. Des images d’arrière-plan discrètes ou une transparence ajustée peuvent aussi favoriser votre concentration. (Voir la section Dépannage).

Personnalisez vos profils Windows Terminal

Que vous passiez par l’IU (interface utilisateur) des paramètres ou par settings.json, vous savez désormais ajouter, supprimer et personnaliser vos profils Windows Terminal. En définissant vos chemins de shell, vos raccourcis clavier et en personnalisant thèmes et polices, vous transformez le Terminal en véritable centre de productivité.

Continuez à tester différents thèmes et polices : vous vous concentrerez mieux sur vos scripts et pourrez travailler plus longtemps sans y laisser votre santé. Gardez simplement en tête qu’il faut toujours sauvegarder votre settings.json pour anticiper le moindre problème.

Organisez, classez et personnalisez vos profils Windows Terminal pour optimiser votre efficacité dans l’écriture de votre code.