diff options
| -rw-r--r-- | configs/shared/.config/nixpkgs/home.nix | 14 | ||||
| -rw-r--r-- | configs/shared/.ssh/config | 26 |
2 files changed, 14 insertions, 26 deletions
diff --git a/configs/shared/.config/nixpkgs/home.nix b/configs/shared/.config/nixpkgs/home.nix index 8a016419bf18..f87b0dfb7cfb 100644 --- a/configs/shared/.config/nixpkgs/home.nix +++ b/configs/shared/.config/nixpkgs/home.nix @@ -43,6 +43,20 @@ }; }; + programs.ssh = { + enable = true; + matchBlocks = { + desktop = { + user = "wpcarro"; + hostname = "zeno.lon.corp.google.com"; + }; + socrates = { + user = "wpcarro"; + hostname = "84.92.33.141"; + }; + }; + }; + ############################################################################## # Services ############################################################################## 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 |