[Help-bash] Is SHELL supposed to be the path of the current shell?

[Peng Yu]

Hi,

I though SHELL should point to the path of the current shell. But it
seems not the case. Does anybody know what it is?

~$ /opt/local/bin/bash
~$ echo $SHELL
/bin/bash

       SHELL  The full pathname to the shell is kept in this environment vari-
              able.  If it is not set when the shell starts, bash  assigns  to
              it the full pathname of the current user's login shell.


-- 
Regards,
Peng