This is kind of a stupid question, but everytime I want to add a directory to $PATH i edit ~/.bash_profile and then i do "source ~/.bash_profile" but i must ...