Where is the correct place to store user-local executable files?
echo $PATH gives
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
It doesn't include eg. $HOME/bin
Would $HOME/bin be advisable? Or $HOME/opt/bin ....
I guess I would have to add that to my .profile too?