additional settings for bash_profile
fetch bash_profile if it doesn't already exist