Handy things to have in a bash_profile file.