$SHELL
não é necessariamente seu shell atual, é o shell de login padrão . Para verificar o shell que você está usando, tente
ps $$
Isso deve funcionar no Unix / Linux mais recente com um ps
que suporte a sintaxe do BSD. Caso contrário, esta é a maneira portátil (POSIX)
ps -p $$
Isso deve retornar algo assim se você estiver executando tcsh
:
8773 pts/10 00:00:00 tcsh
Se você quiser que o tcsh
seja seu shell padrão, use chsh
para defini-lo.