summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix5
1 files changed, 5 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 2f982749..fc552e6b 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -304,6 +304,11 @@
304 proxyJump = "mathw0h"; 304 proxyJump = "mathw0h";
305 user = "root"; 305 user = "root";
306 }; 306 };
307 "mail-mi01" =
308 { hostname = "mail-mi01.mathinst.loc";
309 proxyJump = "mathw0h";
310 user = "root";
311 };
307 "dpl-fai01" = 312 "dpl-fai01" =
308 { hostname = "dpl-fai01.mathinst.loc"; 313 { hostname = "dpl-fai01.mathinst.loc";
309 user = "root"; 314 user = "root";