computer
first time I had a shell command lie to me
`echo "$SHELL"` returned `bash`
the shell was not, in fact, bash
it was zsh
Goo Truther 
computer
@schratze huh. What happens when you try `which $SHELL` ? Is it the same? How did this happen?
computer
@thufie can't try that out right now (it's not my computer)
computer
@thufie but yeah I guess it was up to the configuration of Konsole
Follow
computer
@schratze Oh yeah, if you set your default shell command in terminal profile settings, it will start that default command with $SHELL, and leave $SHELL unchanged. I wonder if there is a good way of telling if your shell was fork'd and exec'd from another one without just using `exit` ...
