Comment vérifier le shell que j'utilise?

J'ai lu que le terminal n'est rien d'autre qu'un shell, et Unix fournit différentes saveurs de shell:

• Bourne shell (sh)
• C shell (csh)
• Shell TC (tcsh)
• Korn shell (ksh)
• Bourne Again shell (bash)

Des questions:

• Lorsque j'ouvre une fenêtre de terminal, quel shell est ouvert par défaut?
• Comment vérifier le nombre de coques installées?
• Comment changer le shell utilisé depuis mon compte?

Vous pouvez taper la commande suivante dans votre terminal pour voir quel shell vous utilisez:

echo $0

Le résultat ressemblera à celui ci-dessous si vous utilisez le terminal bash ( Bourne Again Shell ):

-bash

Pour trouver le shell que vous avez sur l'environnement par défaut, vous pouvez vérifier la valeur de la SHELLvariable d'environnement:

echo $SHELL

Pour rechercher l'instance de shell actuelle, recherchez le processus (shell) ayant le PID de l'instance de shell actuelle.

Pour trouver le PID de l'instance actuelle du shell:

echo "$$"

Maintenant, pour trouver le processus ayant le PID:

ps -p <PID>

Mettre ensemble:

ps -p "$$"

$SHELLvous donne le shell par défaut. $0vous donne le shell actuel.

Par exemple: bash est mon shell par défaut que j'utilise pour mon application Terminal. Mais pour mon application iTerm2, j'utilise la commande que la fenêtre s'ouvre: /bin/ksh.

Donc, ma $0donne moi /bin/kshsur iTerm2. $SHELLme donne /bin/bashsur iTerm2. $0, $SHELLme donne /bin/bashsur le terminal

Pour savoir quel est le shell par défaut pour votre utilisateur, vous pouvez exécuter:

echo "$SHELL"

Par exemple, si vous utilisez Bash, vous devriez obtenir le résultat suivant:

/bin/bash

Si vous n'avez modifié aucune configuration, il devrait s'agir de Bash, car c'est le shell par défaut sous Ubuntu.

Les autres réponses utilisent généralement des fonctionnalités spécifiques au shell, mais nous essayons de déterminer quel shell nous utilisons, elles supposent donc la réponse au problème. Par exemple, aucune des réponses ne fonctionnera sur le poisson.

sh -c 'ps -p $$ -o ppid=' | xargs ps -o comm= -p

À la place, utilisez la syntaxe $$ dans un appel de sh, mais nous recherchons alors le PPID et non le PID. Utilisez le PPID pour trouver le cmd.

sh -c 'ps -p $$ -o ppid=' | xargs -I'{}' readlink -f '/proc/{}/exe'

Merci pour l'amélioration @muru

Le message original posait trois questions. Les réponses données couvrent la première question, "Quand j'ouvre une fenêtre de terminal, quel shell est ouvert par défaut?" Ils répondent également à une question qui N'A PAS été posée, à savoir "Comment puis-je savoir quel shell est en cours d'exécution dans le terminal?" Toutefois, pour autant que je sache, personne n’a répondu à la deuxième ou à la troisième question posée à l’origine, à savoir: "Comment puis-je vérifier le nombre de réservoirs installés?" et "Comment changer le shell utilisé depuis mon compte?"

• Pour répondre "Comment puis-je vérifier le nombre de coques installées?" la commande suivante listera tous les shells disponibles:

chat / etc / coquilles

Par exemple, sur une installation par défaut d’Ubuntu 18.10, ceci donne:

# / etc / shells: shells de connexion valides

/ bin / sh

/ bin / dash

/ bin / bash

/ bin / rbash

Cependant, par défaut, sh est un lien symbolique vers dash, tandis que rbash se connecte à bash avec l'option -r ("restricted bash"), de sorte qu'il n'y a en réalité que deux shells, et non quatre comme le suggère la liste ci-dessus. La commande suivante vous montrera si l'un des shells listés est en fait un lien symbolique et, le cas échéant, à quel lien: ls -l / bin

• Passons maintenant à la question "Comment puis-je changer le shell utilisé depuis mon compte?" En supposant que cela signifie "Comment changer en permanence le shell par défaut qu'un terminal utilisera", une réponse est disponible à l' adresse https://wiki.ubuntu.com/ChangingShells#Changing_your_login_shell_which_is_permanent