/usr in /etc/profile

[Paul . Emsley]

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? 


    Paul.