Kurze Antwort: Die SHELL
Umgebungsvariable stellt die Standard-Shell für Ihr Benutzerprofil dar, nicht die Shell, mit der Sie gerade sprechen. Es wird von Programmen verwendet, die Subshells erzeugen.
Alternativ können Sie auch .cshrc
nach einem exec bash
Befehl suchen. Ich habe das an einer Site gemacht, wo Benutzer ihre Standardshell nicht von csh ändern durften.