where is $SHELL set?

[Greg Matheson <lang at ms dot chinmin dot edu dot tw>]

I couldn't find anything about what is setting $SHELL.

In a cygwin rxvt window:

greg@7106 ~
$ grep BASH /etc/profile /etc/bash* ~/.bash* ~/.profile
grep: /home/greg/.profile: No such file or directory

greg@7106 ~
$ grep SHELL /etc/profile /etc/bash* ~/.bash* ~/.profile
grep: /home/greg/.profile: No such file or directory

greg@7106 ~
$ echo $SHELL
/bin/bash

greg@7106 ~
$ echo $BASH
/bin/bash

In a DOS shell:

C:\cygwin\home\greg>echo %SHELL%
ECHO is on

C:\cygwin\home\greg>bash
BASH-2.05b$ rm .bash_history
BASH-2.05b$ grep SHELL /etc/profile /etc/bash* ~/.bash* ~/.profile
grep: /home/greg/.bash*: No such file or directory
grep: /home/greg/.profile: No such file or directory
BASH-2.05b$ echo $SHELL
/bin/bash
BASH-2.05b$ echo $BASH
/usr/bin/BASH
BASH-2.05b$

man bash says it sets BASH, but there is nothing about SHELL. Though I
notice on a Linux server, SHELL is also set.

Where is it being set?

--
Greg Matheson, Taiwan

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/