use "source", luke (Score 1)

Just use
$ source ~/.bash_profile
instead of logging out and in again. This reads the file into the current shell's environment.