Ho letto che il terminale non è altro che una shell, e Unix fornisce diversi tipi di shell:
Potete digitare il seguente comando nel vostro terminale per vedere quale shell state usando:
echo $0
Il risultato sarà simile al seguente se state usando il terminale bash (Bourne Again Shell):
-bash
Per trovare la shell che avete nell'ambiente di default potete controllare il valore della variabile d'ambiente SHELL
:
echo $SHELL
Per trovare l'istanza corrente della shell, cercate il processo (shell) che ha il PID dell'istanza corrente della shell.
Per trovare il PID dell'istanza corrente di shell:
echo "$$"
Ora per trovare il processo che ha il PID:
ps -p <PID>
Mettendo insieme il tutto:
ps -p "$$"
Per sapere qual è la shell predefinita del vostro utente, potete eseguire
-- lingua: bash -->
echo "$SHELL"
Per esempio, se stai usando Bash dovresti ottenere il seguente output:
/bin/bash
Se non hai cambiato nessuna configurazione dovrebbe essere Bash, dato che Bash è la shell predefinita su Ubuntu.