path: root/configs/shared/.ssh/config

# 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

# Laptop running in my flat
Host socrates
  User wpcarro
  Hostname 84.92.33.141

# 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