Re: SHELL Bash variable

[Pedro Izecksohn]

> | Was written by me:
> Was replied by Eric Blake:
> | "SHELL The full pathname to the shell is kept in this environment variable.
> | If it is not set when the shell starts,
> | Bash assigns to it the full pathname of the current user's login shell."
> |
> |   SHELL is not being exported to the environment on Cygwin.
> 
> Not a bug.  There are two namespaces - shell variables and environment
> variables.  If SHELL is not in the environment when bash starts, then bash
> does not stick it in the environment; it is up to you to do 'export SHELL'.

  So, could Bash Reference Manual explain it?

  I'm not the only one who misunderstood the manual.