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.
Whatever is not nailed down is mine. Whatever I can pry up is not nailed down. -- Collis P. Huntingdon, railroad tycoon
