Richard writes:
> When in an arbitrary terminal of an arbitrary Desktop Environment, how
> would I determine which shell is in use?

To find out what shell is the login shell type

echo $SHELL

To find out what shell you are running type

echo $0

To run the Korn shell type


To kill the shell you are currenting using type


To clear bash command history on logout truncate ~.bash_history in

Note that desktop environments do not respect Unix conventions and
standards so some of the above may not work as expected in some DEs.
John Hasler
Elmwood, WI USA

Reply via email to