On Wed, Jun 29, 2011 at 06:05, Michał Górny wrote: > I'm not sure if it is a good idea to source a script mangling PATH > there.
the mangling makes sure the system paths are present and come first. it doesnt remove any elements. it probably could be redone to only prepend elements, but i'm not sure the resulting behavior would be quite right when talking about / vs /usr vs /usr/local. also, the preference seen here is the same as provided by /etc/profile. to be sure, PATH handling in the script is ancillary to the general topic at hand. -mike
