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

Follow

computer 

@schratze huh. What happens when you try `which $SHELL` ? Is it the same? How did this happen?

· · Web · 1 · 0 · 1

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

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` ...

Sign in to participate in the conversation
Pixietown

Small server part of the pixie.town infrastructure. Registration is closed.