lots of bash_profile goodies