Quel est le Shell par défaut pour le terminal ?

Celui spécifié sur votre ligne dans /etc/passwd (il s'agit d'un : ligne séparée et le Shell est le dernier).

Par exemple le mien :

chris:x:1000:1000:Chris,,,:/home/chris:/bin/bash

C'est ici /bin/bash (le défaut d'Ubuntu)

Vous pouvez également utiliser chsh :

$ chsh
Password: 
Changing the login shell for chris
Enter the new value, or press ENTER for the default
        Login Shell [/bin/bash]:

Cela me dit que mon Shell est /bin/bash et me laisser le changer.

Enfin, echo $SHELL fera de même :

$ echo $SHELL
/bin/bash

Taper ce qui suit affichera avec quel Shell le terminal s'est ouvert :

echo $SHELL

Cependant, pour savoir dans quel Shell vous êtes actuellement (vous avez peut-être changé), tapez

ps -p $$

Par exemple, vous verrez que le Shell est bash dans l'exemple de sortie

  PID TTY          TIME CMD
 3500 pts/0    00:00:01 bash

Une autre méthode consiste à utiliser

echo $0

ceci retournera simplement le nom du Shell actuel.

GNU Bash est le Shell utilisé par défaut dans les terminaux sur Ubuntu. Cependant, lorsque les Shell sont exécutés au démarrage du système, alors dash est utilisé, car c'est dash qui est /bin/sh.

Ceci est défini dans la variable d'environnement $Shell. Vous pouvez vérifier en tapant echo $SHELL dans le terminal.

Par défaut, c'est bash :

env | grep ^SHELL=

Dans la plupart des cas, cela produira

SHELL=/bin/bash

Pour obtenir le chemin du fichier de l'exécutable Shell actuel, on peut utiliser

readlink -f /proc/$$/exe

Certaines sorties possibles sont :

• /bin/bash
• /usr/bin/bash
• /usr/bin/zsh
• /home/stan/.linuxbrew/Cellar/zsh/5.2/bin/zsh