89 votes

Existe-t-il un moyen de modifier le Shell par défaut dans Windows Terminal ?

Lorsque l'on ouvre le nouveau terminal Windows, il ouvre PowerShell. Par défaut, les nouveaux onglets sont également PowerShell.

Vous devez passer manuellement à votre Shell souhaité. enter image description here

Y a-t-il un moyen dans les paramètres Fichier JSON pour le changer en cmd ou autre chose ?

Version Windows : 1903

126voto

Kallie Points 13

Ouvrir les paramètres JSON du terminal Windows. Ensuite, dans profiles trouver l'objet pour le Shell que vous recherchez et copier l'élément guid valeur à partir de celui-ci. La dernière étape consiste à coller cette valeur dans le champ defaultProfile attribut.

{
    "$schema": "https://aka.ms/terminal-profiles-schema",

    "defaultProfile": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}"

    ....

Il peut modifier votre Shell par défaut.

15voto

Biswapriyo Points 9951

Cette procédure nécessite quelques connaissances sur le format de fichier JSON. En voici un bref bref aperçu. Chaque membre est représenté par "name":"value" paire. Les tableaux utilisent des crochets et les objets des crochets arrondis. Lisez ceci Wikipedia : JSON pour plus de détails.

Procédure :

  • Ouvrez le terminal Windows. Cliquez sur le symbole de la flèche vers le bas à partir de barre de menu. Cela ouvrira un menu déroulant dans lequel vous pourrez sélectionner l'option Paramètres. Vous pouvez également utiliser Ctrl + , pour ouvrir directement les paramètres. Voici un exemple de capture d'écran :

windows-terminal-settings

  • Après avoir sélectionné les paramètres, Notepad (ou l'éditeur de texte par défaut) s'ouvrira profiles.json fichier. Voici un exemple, voyez le premier objet JSON, c'est-à-dire "globals" .

    "globals" : { "alwaysShowTabs" : true, "copyOnSelect" : false, "defaultProfile" : "{12345678-1234-1234-1234-1234567890AB}", "initialCols" : 120, "initialRows" : 30,

Nous sommes intéressés par defaultProfile nom. La valeur au format 128 bits {12345678-1234-1234-1234-1234567890AB} s'appelle UUID . Supposons que c'est comme a Surnom : par défaut Shell :)

  • Maintenant, dans ce fichier, trouvez "name" : "cmd" (ou "commandline" : "cmd.exe" paire) pour l'invite de commande. Il y aura un "guid" adjacente à celle-ci. Copier la valeur, c'est-à-dire les 128 bits Surnom : . Et le coller dans globals > defaultProfile.

  • Redémarrez le terminal Windows.

Si vous avez installé Windows Terminal ohne Windows Store, le chemin actuel de la profiles.json es "%LocalAppData%\Microsoft\Windows Terminal\profiles.json" . Vous pouvez ouvrir directement le chemin dans n'importe quel éditeur de texte.

Autres lectures

7voto

DaveS Points 380

Modifiez les paramètres et changez la valeur defaultProfile par la valeur GUID du profil que vous voulez utiliser par défaut. Par exemple :

{
"$schema": "https://aka.ms/terminal-profiles-schema",

"defaultProfile": "{d3f31bee-5823-5ed8-8e04-f31ed54f2cd9}",

...

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X