Am 08.12.2015, 22:26 Uhr, schrieb Helmut Karlowski:
Am 08.12.2015, 22:21 Uhr, schrieb Achim Gratz:
Helmut Karlowski writes:
Can you tell me in which circumstances this happens and why this is a
problem? SHELL is supposed to be the user preference, so I don't
think
/etc/profile should try to second-guess it.
/etc/profile is run before ~/.profile, and if that does not set SHELL
there will be none.
Yes, but why is this a problem? Note that bash will set it anyway if
not present.
All shells set it only when run as login-shell.
-Helmut
--
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
