$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.