| delorie.com/archives/browse.cgi | search |
| Mailing-List: | contact cygwin-help AT cygwin DOT com; run by ezmlm |
| List-Subscribe: | <mailto:cygwin-subscribe AT cygwin DOT com> |
| List-Archive: | <http://sources.redhat.com/ml/cygwin/> |
| List-Post: | <mailto:cygwin AT cygwin DOT com> |
| List-Help: | <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs> |
| Sender: | cygwin-owner AT cygwin DOT com |
| Mail-Followup-To: | cygwin AT cygwin DOT com |
| Delivered-To: | mailing list cygwin AT cygwin DOT com |
| Date: | Wed, 18 Feb 2004 11:00:26 +0800 |
| From: | Greg Matheson <lang AT ms DOT chinmin DOT edu DOT tw> |
| To: | cygwin AT cygwin DOT com |
| Subject: | where is $SHELL set? |
| Message-ID: | <20040218110026.A26963@ms.chinmin.edu.tw> |
| Mail-Followup-To: | cygwin AT cygwin DOT com |
| Mime-Version: | 1.0 |
| User-Agent: | Mutt/1.2.5i |
| X-IsSubscribed: | yes |
I couldn't find anything about what is setting $SHELL. In a cygwin rxvt window: greg AT 7106 ~ $ grep BASH /etc/profile /etc/bash* ~/.bash* ~/.profile grep: /home/greg/.profile: No such file or directory greg AT 7106 ~ $ grep SHELL /etc/profile /etc/bash* ~/.bash* ~/.profile grep: /home/greg/.profile: No such file or directory greg AT 7106 ~ $ echo $SHELL /bin/bash greg AT 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/
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |