where is $SHELL set?
Greg Matheson
lang@ms.chinmin.edu.tw
Wed Feb 18 03:02:00 GMT 2004
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/
More information about the Cygwin
mailing list