On Tue, 24 Mar 2020 at 19:23, Cameron Simpson <cs(a)cskk.id.au> wrote:
On 24Mar2020 17:43, Patrick Dupre <pdupre(a)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(a)cskk.id.au
--
George N. White III