put in demo servername for bashrc