diff options
Diffstat (limited to 'accounts')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 0265190b..24d1f18c 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -378,6 +378,10 @@ | |||
378 | { hostname = "mail-mi01.mathinst.loc"; | 378 | { hostname = "mail-mi01.mathinst.loc"; |
379 | proxyJump = "mathw0h"; | 379 | proxyJump = "mathw0h"; |
380 | }; | 380 | }; |
381 | "mail-www02" = | ||
382 | { hostname = "mail-www02.mathinst.loc"; | ||
383 | proxyJump = "mathw0h"; | ||
384 | }; | ||
381 | "dpl-fai01" = | 385 | "dpl-fai01" = |
382 | { hostname = "dpl-fai01.mathinst.loc"; | 386 | { hostname = "dpl-fai01.mathinst.loc"; |
383 | user = "root"; | 387 | user = "root"; |