bash_profile: add gist