1 Nov
2019
1 Nov
'19
14:58
On Fri, 01 Nov 2019, 15:36:39 +0100, Patrick Shanahan wrote:
* Robert Munteanu
[11-01-19 10:26]: Hi,
I am having trouble understanding whether $HOME/bin should automatically be added to $PATH or if I should add it myself in $HOME/.bashrc. I recall this was working out of the box at some point but now it does not.
I looked in /etc/skel and /etc/profile.d but did not find any indication that it should be set.
Is $HOME/bin added by default to $PATH?
make a new <user> issue: echo $PATH
does /home/<user>/bin appear at the front of the output from "echo $PATH"?
you have your answer
3. check that the directory exists; it won't get added (at least in the past), if it didn't exist at login time. Cheers. l8er manfred