On Tue, May 29, 2018 at 10:19:02AM +0100, Sorin Sbarnea wrote:
> I ended up creating
>
https://fedoraproject.org/wiki/Changes/UserPathPrioritization and I invite
> others to improve its description.
A very nice description. Can you add some hints on what needs to change
(/etc/profile?).
Zbyszek