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 |