I too was hit this problem (trying to get ~/bin in $PATH to work in
gnome-terminal) and I came up with following solution. Append this to
.bashrc or /etc/bash.bashrc, or perhaps even to /etc/profile:
# add $HOME/bin to path unless it is already there
case $PATH in
*$HOME/bin*)
# do nothing
;;
*)
# insert $HOME/bin to path
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin":"$PATH"
fi
esac
--
.bash_profile is not sources when X session starts
https://launchpad.net/bugs/66004
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
