12/12/2024

Astuces

Astuces

Windows Terminal : modifier le shell / la console par défaut

I. Présentation Après avoir vu différentes astuces pour Windows Terminal, ainsi que le changement du background de la console et la création de profils personnalisés dans Windows Terminal dans des articles dédiés, je vous propose aujourd’hui de voir comment changer le shell ou la console qui se lance par défaut avec Windows Terminal. II. Procédure Le fichier de configuration settings.json va une nouvelle fois être utile et devra être modifié pour définir un nouveau shell par défaut. Cela est utile si vous souhaitez utiliser le Shell Unix « WSL » par défaut, par exemple. Nous allons devoir modifier la propriété defaultProfile, sa valeur correspond à un GUID comme nous pouvons le voir ci-dessous : Si l’on regarde au niveau des profils déclarés dans le fichier, on peut voir que ce GUID correspond au profil associé à PowerShell (ex-PowerShell Core) dans mon cas. Vous voyez où je veux en venir ? Pour définir une console par défaut, il faut indiquer la valeur de

Lire cet article