/etc/profile: avoid multiple /usr/bin in PATH
Helmut Karlowski
helmut.karlowski@ish.de
Tue Dec 8 21:31:00 GMT 2015
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
More information about the Cygwin
mailing list