Editing file: .bash_profile