I couldn't understand the reason for the double registration of the path :
(surly the script was executed twice).
I write (for the benefit of others) the solution I found:
(I modified the script with a condition).

---------
newpath="/opt/netbeans/java/maven/bin"
if [[ "$PATH" != *"$newpath"* ]]; then
    PATH=$PATH:/opt/netbeans/java/maven/bin
    export PATH
fi
---------

On Wed, Mar 25, 2020 at 1:16 AM George N. White III <gnwiii@gmail.com> wrote:
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

_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-leave@lists.fedoraproject.org
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org