Adding a server to my bash_profile