In Cinnamon desktop, a freshly opened gnome-terminal does not have $HOME/bin in its path.
Which it should have according to ~/.profile, and did have in LMDE2.
While the virtual terminals (CtrlAlt-F1) do add my ~/bin to their path, a ssh shell also adds it.
(No, I don't have a ~/.bash_profile or ~/.bash_login.)
What is amiss, how should it be fixed?
For a workaround, I copied —
Code: Select all
# set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ] ; then PATH="$HOME/bin:$PATH" fi