conditional insertion into .bash_profile and of the .sh script