summaryrefslogtreecommitdiff
path: root/accounts
diff options
context:
space:
mode:
Diffstat (limited to 'accounts')
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix4
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";