On 05/02/2018 03:23 PM, Tomas Orsava wrote:
Hi!
I'd like to propose putting the ~/.local/bin in front of the /usr/bin
on the PATH.
Currently /usr/bin has priority over ~/.local/bin, which causes a
[bug] where the old system-installed executable written in Python
(from /usr/bin) is launched, but it finds new Python sources
(installed into $HOME) which it doesn't work with and crashes.
[bug] https://bugzilla.redhat.com/show_bug.cgi?id=1571650
I believe the current configuration breaks the intuitive expectation
that things installed closer to the user should take priority. That's
for example how it works with Python.
Interestingly, ubuntu and opensuse do not have ~/.local/bin on their
PATH (though Ubuntu has ~/bin) so we can't take guidance there.
Correction, *debian/ubuntu do include ~/.local/bin on the PATH and
prioritize it over /usr/bin.*
It's been reported as an issue in [2016] and fixed, the fix was then
lost (that's why it's not in the current release), and then it was fixed
again in February [2018].
[2016] https://launchpad.net/debian/+source/bash/4.3-15
[2018] https://launchpad.net/debian/+source/bash/4.4.18-1
Testing on debian:unstable container image confirms the PATH as
advocated for in this mailing thread, ~/.local/bin first:
$ echo $PATH
/home/foo/.local/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
Tomas
Does anyone see a reason not to prioritize ~/.local/bin over /usr/bin?
Regards,
Tomas
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
