Jeg har læst, at terminal ikke er andet end shell, og Unix tilbyder forskellige varianter af shells:
Du kan skrive følgende kommando i din terminal for at se, hvilken shell du bruger:
echo $0
Resultatet vil se nogenlunde ud som nedenfor, hvis du bruger terminalen bash (Bourne Again Shell):
-bash
For at finde den shell, du har i standardmiljøet, kan du kontrollere værdien af miljøvariablen SHELL
:
echo $SHELL
For at finde den aktuelle shell-instans skal du lede efter den proces (shell), der har PID'et for den aktuelle shell-instans.
Sådan finder du PID'et for den aktuelle instans af shell:
echo "$$"
Nu skal vi finde den proces, der har PID'et:
ps -p <PID>
Sæt det sammen:
ps -p "$$"
For at finde ud af, hvilken shell der er standardskal for din bruger, kan du køre:
echo "$SHELL"
Hvis du f.eks. bruger Bash, bør du få følgende output:
/bin/bash
Hvis du ikke har ændret nogen konfiguration, bør det være Bash, da Bash er standard-shell på Ubuntu.