Thank you very much to both of you.
I'm a beginner. What I understand is:
PATH is defined on several levels. "Child" processes inherit PATH from their
"parents".
I suppose:
~/.bash* belongs to a child process of the one defined in
/etc/profile.d.
the /etc/profile.d belongs to a child of /etc/environment .
Is this correct?
I like the solution with the extra fil in /etc/profile.d, but I have some
questions first.
1. on what level is PATH defined here?
2. can the file have any name?
3. what should be in the file? Just the same as I have added to by ~/.bashrc?
(See above)
