...

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 @@
       proxyJump = "mathw0h";
       user = "root";
     };
+  "mail-mi01" =
+    { hostname = "mail-mi01.mathinst.loc";
+      proxyJump = "mathw0h";
+      user = "root";
+    };
   "dpl-fai01" =
     { hostname = "dpl-fai01.mathinst.loc";
       user = "root";