bash_profile file formatting