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.
This commit is contained in:
parent
86e1b82d2d
commit
df035ca832
2 changed files with 14 additions and 26 deletions
|
@ -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
|
||||
##############################################################################
|
||||
|
|
|
@ -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
|
Loading…
Reference in a new issue