It is perfectly normal. The correct way to write te first line is actually
However, that still would not alter what was actually taking place here. All you would be doing is creating a script, telling the script to execute within the BASH shell, and then read your environment variable of $SHELL, which is STILL tcsh.
If you want to write a shell script that CHANGED your SHELL for the current terminal session ONLY, it would be:
Code:
#! /bin/bash
export SHELL=/bin/bash
Once you closed the terminal session you were in when this script was ran (or in any other terminal that you opened), your default SHELL will still be tcsh. If you want to alter your login shell to BASH, you need to edit the /etc/passwd file or change your .profile in your home directory to designate the change.