$PATH used to be set in .bash_profile

[Peter Garrett]

On Thu, 17 May 2007 18:43:17 -0600
"drew einhorn" <drew.einhorn at gmail.com> wrote:

> I had this problem once before and somebody told me the new place to set it.
> But I forgot it.

Try ~/.bashrc

> 
> Was there a good reason for this change?

.bash_profile is read for login shells only, whereas .bashrc is read for
non-login shells like the ones you start by opening an xterm or
gnome-terminal - you can make .bash_profile source .bashrc if you wish
though, and in fact in Ubuntu it does so by default - try reading the
file, and you will see, amongst other things,

# include .bashrc if it exists
if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi

Also note the following lines, commented out in .bash_profile

# Redundant since we are sourcing .bashrc anyway
# set PATH so it includes user's private bin if it exists
#if [ -d ~/bin ] ; then
#    PATH=~/bin:"${PATH}"
#fi

Peter