Jeg leste at terminalen ikke er noe annet enn skall, og Unix gir forskjellige smaker av skall:
Du kan skrive inn følgende kommando i terminalen din for å se hvilket skall du bruker:
echo $0
Resultatet vil se ut omtrent som nedenfor hvis du bruker terminalen bash (Bourne Again Shell):
-bash
For å finne skallet du har på standardmiljøet, kan du sjekke verdien av miljøvariabelen SHELL
:
echo $SHELL
For å finne den gjeldende shell-instansen, se etter prosessen (shell) som har PID for den gjeldende shell-instansen.
For å finne PID-en til den gjeldende forekomsten av shell:
echo "$$"
Nå for å finne prosessen som har PID:
ps -p <PID>
Sette det sammen:
ps -p "$$"
For å vite hvilket som er standardskallet for brukeren din, kan du kjøre:
echo "$SHELL"
Hvis du for eksempel bruker Bash, bør du få følgende utdata:
/bin/bash
Hvis du ikke endret noen konfigurasjon, bør det være Bash siden Bash er standardskallet på Ubuntu.