bash alias for ssh to demo