my bash_profile and other bash-ish scripts I use