http://bash-edit.com/what-is-the-profile-for-bash