Comment use "source", luke (Score 1) 2362
Just use
$ source ~/.bash_profile
instead of logging out and in again. This reads the file into the current shell's environment.
The perversity of nature is nowhere better demonstrated by the fact that, when exposed to the same atmosphere, bread becomes hard while crackers become soft.
