Thanks! I will keep this in mind. Meanwhile, I found that the .bashrc file (which is the home directory) can do exactly what I wanted to get out of the missing .bash_profile file. Thanks again!