Thanks for picking up this issue.

As a work-around, you can right click -> Preferences and change the
shell going forward.
But I agree it should default properly.
Obviously it's an upstream issue, so I'll raise it there.
But I'd think to the value of $SHELL (which is set by login to the
entry in /etc/passwd).
Or should programs actually parse /etc/passwd if $SHELL isn't set?
I'm a bash user, so I never really thought about what would be the
"right thing" here.

Cheers,

--Barak.

Reply via email to