/etc/profile: avoid multiple /usr/bin in PATH

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

There must have been one once, I don't remember. And I don't use bash:

881/etc$bash --version
aKSH v0.0.1, Dec  7 2015 (cygwin-1.7.35(0.287/5/3))

(selfmade).

-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