[OSM-dev] Dev server .bash_profile problem

[Brett Henderson]

Does anybody know why my home directory .bash_profile on dev isn't 
taking effect?

It contains the following lines which I want to run to put ~/bin on my path.
# set PATH so it includes user's private bin if it exists
if [ -d ~/bin ] ; then
    PATH=~/bin:"${PATH}"
fi

But it's not working.

 From the bash man page:
When bash is invoked as an interactive login shell, or as a 
non-interactive shell with the --login option, it first reads  and  
executes  commands
       from  the  file  /etc/profile, if that file exists.  After 
reading that file, it looks for ~/.bash_profile, ~/.bash_login, and 
~/.profile, in that
       order, and reads and executes commands from the first one that 
exists and is readable.  The --noprofile option may  be  used  when  
the  shell  is
       started to inhibit this behavior.

Probably something silly I'm doing, but I can't figure it out.