diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T14·22+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·04+0000 |
| commit | df035ca832ea9ec152743e8c594b211bcf20a086 (patch) | |
| tree | 4fd1e0372fa2cfb2440854d462618b804310a901 /configs/shared/.ssh/config | |
| parent | 86e1b82d2de410c650e96f0f2ed47987be1db72a (diff) | |
Use home-manager to support SSH
I didn't port everything from .ssh/config to home-manager. I omitted a few hosts that I don't connect to anymore. I also omitted the `corp-ssh-helper` configuration.
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 |