[wplug] PATH problem with Bash

[Zach]

I am trying to include $HOME/bin in my PATH in bash yet it doesn't work.

In my .bashrc I have:

# set PATH so it includes user's private bin if it exists
if [ -d ~/bin ] ; then
    PATH=~/bin:"${PATH}"
fi

Yet when I echo $PATH it only shows:
/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games

I even added it explicitly to the PATH list in my .bashrc but it still
doesn't show up in $PATH:
PATH=/usr/local/java2/bin:/usr/local/bin:/usr/local/contrib/bin:/afs/club.cc.cmu.edu/usr/chaos/bin:"${PATH}"

Zach