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