03-16-06 10:53 PM
In article <F7OdnTIG8v6aLITZRVn-ig@comcast.com>,
Ed Morton <morton@lsupcaemnt.com> wrote:
> Mahurshi Akilla wrote:
>
>
> echo "$SHELL"
Wrong. That tells you your default shell, not your current shell.
barmar $ ps -p $$
PID TT STAT TIME COMMAND
1587 p1 Ss 0:00.06 /bin/bash --noediting -i
barmar $ ksh
$ echo $SHELL
/bin/bash
$ ps -p $$
PID TT STAT TIME COMMAND
2244 p1 S 0:00.04 ksh
$
--
Barry Margolin, barmar@alum.mit.edu
Arlington, MA
*** PLEASE post questions in newsgroups, not directly to me ***
*** PLEASE don't copy me on replies, I'll read them in the group ***
[ Post a follow-up to this message ]
|