diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 897ad8ce..3af0b109 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -438,4 +438,14 @@ | |||
438 | { hostname = "math0d.mathinst.loc"; | 438 | { hostname = "math0d.mathinst.loc"; |
439 | proxyJump = "mathw0h"; | 439 | proxyJump = "mathw0h"; |
440 | }; | 440 | }; |
441 | "dhcp01" = | ||
442 | { hostname = "dhcp01.mathinst.loc"; | ||
443 | user = "root"; | ||
444 | proxyJump = "mathw0h"; | ||
445 | }; | ||
446 | "dhcp02" = | ||
447 | { hostname = "dhcp02.mathinst.loc"; | ||
448 | user = "root"; | ||
449 | proxyJump = "mathw0h"; | ||
450 | }; | ||
441 | } | 451 | } |