Come posso verificare quale shell sto usando?

Ho letto che il terminale non è altro che shell e Unix offre diversi tipi di shell:

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

Domande:

• Quando apro una finestra di terminale, quale shell è aperta per impostazione predefinita?
• Come posso verificare quante shell sono installate?
• Come posso cambiare la shell utilizzata dal mio account?

Puoi digitare il seguente comando nel tuo terminale per vedere quale shell stai usando:

echo $0

Il risultato sarà simile al seguente se si utilizza il terminale bash ( Bourne Again Shell ):

-bash

Per trovare la shell che hai nell'ambiente predefinito puoi controllare il valore della SHELLvariabile d'ambiente:

echo $SHELL

Per trovare l'istanza della shell corrente, cercare il processo (shell) con il PID dell'istanza della shell corrente.

Per trovare il PID dell'istanza corrente della shell:

echo "$$"

Ora per trovare il processo con il PID:

ps -p <PID>

Mettendolo insieme:

ps -p "$$"

$SHELLti dà la shell predefinita. $0ti dà la shell corrente.

Ad esempio: ho bash come shell predefinita, che utilizzo per la mia App terminale. Ma per il mio iTerm2 app, io uso il comando come si apre la finestra: /bin/ksh.

Quindi il mio $0mi dà /bin/kshsu iTerm2. $SHELLmi dà /bin/bashsu iTerm2. $0, $SHELLmi dà /bin/bashsul Terminal

Per sapere qual è la shell predefinita per il tuo utente, puoi eseguire:

echo "$SHELL"

Ad esempio se stai usando Bash dovresti ottenere il seguente output:

/bin/bash

Se non hai modificato alcuna configurazione, dovrebbe essere Bash poiché Bash è la shell predefinita su Ubuntu.

Le altre risposte tendono a utilizzare funzionalità specifiche della shell, ma stiamo cercando di scoprire quale shell stiamo utilizzando, quindi assumono la risposta al problema. Ad esempio, nessuna delle risposte funzionerà sui pesci.

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

Invece usa la sintassi $$ in una chiamata di sh, ma poi stiamo cercando il PPID e non il PID. Utilizzare il PPID per trovare il cmd.

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

Grazie per il miglioramento @muru

Il post originale poneva tre domande. Le risposte fornite coprono la prima domanda: "Quando apro una finestra di terminale, quale shell è aperta di default?" Rispondono anche a una domanda che NON è stata posta, ovvero "Come posso sapere quale shell è attualmente in esecuzione nel terminale?" Tuttavia, per quanto posso vedere nessuno ha risposto alla seconda o alla terza domanda originariamente poste, vale a dire "Come posso verificare quante shell sono installate?" e "Come posso cambiare la shell utilizzata dal mio account?"

• Per rispondere "Come posso verificare quante shell sono installate?" il seguente comando elencherà tutte le shell disponibili:

cat / etc / shells

Ad esempio, su un'installazione predefinita di Ubuntu 18.10 questo dà:

# / etc / shells: shell di login valide

/ Bin / sh

/ Bin / dash

/ Bin / bash

/ Bin / rbash

Tuttavia, per impostazione predefinita sh è un collegamento simbolico a trattino, mentre rbash si collega a bash con l'opzione -r ("bash limitato"), quindi in realtà ci sono solo due shell, non quattro come suggerisce l'elenco sopra. Il seguente comando ti mostrerà se una qualsiasi delle shell elencate è in realtà un collegamento simbolico, e in tal caso dove si collegano a: ls -l / bin

• Ora per la domanda "Come posso cambiare la shell utilizzata dal mio account?" Supponendo che questo significhi "Come posso cambiare in modo permanente la shell predefinita che verrà utilizzata da un terminale", c'è una risposta su https://wiki.ubuntu.com/ChangingShells#Changing_your_login_shell_which_is_permanent