Hi Barak,
Barak A. Pearlmutter wrote:
> As a work-around, you can right click -> Preferences and change the
> shell going forward.
Yeah, found that already. But thanks!
> Obviously it's an upstream issue, so I'll raise it there.
Thanks. Also already checked if there is an issue for that upstream,
but there wasn't.
> But I'd think to the value of $SHELL (which is set by login to the
> entry in /etc/passwd).
Not sure where this is set. I thought it is only set by the shell
itself for programs called from it.
> Or should programs actually parse /etc/passwd if $SHELL isn't set?
No, because this could also come from LDAP, NIS, etc.
They should probably use getpwent(3) or getent(1) which takes care of
honoring /etc/nsswitch.conf and friends.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, https://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
