bash_profile: add pr
bash_profile: more formal if-style