Re: /usr in /etc/profile

[Santiago Vila <sanvila@unex.es>]

On Sun, 1 Jul 2001 Paul.Emsley@chem.gla.ac.uk wrote:

> base-files provides /etc/profile
>
> /etc/profiles sets the default $PATH.
>
> The default $PATH contains /usr path elements.
>
>     Would it be a good idea to remove the redundant /usr parts of the
>     path elements?

The idea is that not symlinking /usr to / is also supported.