user config, not by
avoiding to fix the bashrc PATH order. Remember that user can always edit his
profile files and modify the PATH order, something that would have the same
kind of effect as installing the tools.
Thanks
Sorin Sbarnea
___
devel
I ended up creating
https://fedoraproject.org/wiki/Changes/UserPathPrioritization and I invite
others to improve its description.
--
/sorin
On Tue, May 29, 2018 at 9:25 AM, Miro HronĨok wrote:
>
>
> On 29.5.2018 09:34, Sorin Sbarnea wrote:
>
>> What do we need to do to make F
Well said, there is no catchy name for this (virtual) security threat. We will
have to let one of those that oppose this proposal to find a caching name
(PATHEXIT?), maybe even build a paper explaining how to mitigate it.
I am bit disappointed because other distributions fixed it, even twice