On Tue, 24 Mar 2020 at 19:23, Cameron Simpson <cs@cskk.id.au> wrote:
On 24Mar2020 17:43, Patrick Dupre <pdupre@gmx.com> wrote:
>This is correct.
>You add a new path to the old path. Then it duplicates the path

No, his script is correct (to do it for all users).

I expect he is running the PATH= command twice - once from
/etc/profile.d, and maybe once in his personal .profile or .bash_profile
or .bashrc.

Some applications (IDE?) appear to source /etc/profile when starting,
which is why we have the pathmunge function.   I think this is done so you
have the same PATH whether the app is run by clicking on a menu or by starting
it from a terminal.
 

Cameron Simpson <cs@cskk.id.au

--
George N. White III