diff options
Diffstat (limited to 'configs/shared/.ssh/config')
-rw-r--r-- | configs/shared/.ssh/config | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/configs/shared/.ssh/config b/configs/shared/.ssh/config deleted file mode 100644 index 67d82ac7e754..000000000000 --- a/configs/shared/.ssh/config +++ /dev/null @@ -1,26 +0,0 @@ -# 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 |