# Google work station Host desktop Hostname zeno.lon.corp.google.com # Google cloud instance Host cloudtop Hostname wpcarro.c.googlers.com Host gcp User wpcarro Hostname 35.246.93.73 # Raspberry Pi home computer # router_public_ip: 150.143.40.77 # private_ip: 192.168.1.67 Host rpi User pi Hostname 150.143.40.77 Match host *.corp.google.com ProxyCommand corp-ssh-helper %h %p