…

1 files changed, 16 insertions, 6 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 8937e743..0db4e342 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -77,7 +77,10 @@
       port = 30363;
       identityFile = "~/.ssh/testworx";
     };
-  "remote.cip.ifi.lmu.de".user = "kleen";
+  "remote.cip.ifi.lmu.de" =
+    { user = "kleen";
+      identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil";
+    };
   "uniworx3" =
     { hostname = "uniworx3.ifi.lmu.de";
       user = "root";
@@ -93,15 +96,14 @@
       user = "root";
       identityFile = "~/.ssh/uni2work";
     };
-  "uniworxdb" =
-    { hostname = "uniworxdb";
+  "uniworxdb2" =
+    { hostname = "uniworxdb2";
       proxyJump = "uniworx4";
       user = "root";
       identityFile = "~/.ssh/uni2work";
     };
-  "uniworxdb2" =
-    { hostname = "uniworxdb2";
-      proxyJump = "uniworx4";
+  "uniworx5" =
+    { hostname = "uniworx5.ifi.lmu.de";
       user = "root";
       identityFile = "~/.ssh/uni2work";
     };
@@ -109,12 +111,14 @@
     { hostname = "gate2.tcs.ifi.lmu.de";
       user = "gkleen";
       identityFile = "~/.ssh/tcs";
+      serverAliveInterval = 0;
     };
   "proxy.gate2" =
     { hostname = "gate2.tcs.ifi.lmu.de";
       user = "gkleen";
       identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
       dynamicForwards = [ { port = 8118; } ];
+      serverAliveInterval = 0;
       extraOptions = {
         ExitOnForwardFailure = "yes";
       };
@@ -123,6 +127,7 @@
      { hostname = "gate2.tcs.ifi.lmu.de";
        user = "gkleen";
        identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
+       serverAliveInterval = 0;
        extraOptions = {
          ExitOnForwardFailure = "yes";
        };
@@ -196,4 +201,9 @@
     { hostname = "gitlab.haskell.org";
       identityFile = "~/.ssh/gkleen@gitlab.haskell.org";
     };
+  "gitlab.lrz.de" =
+    { hostname = "gitlab.lrz.de";
+      user = "git";
+      identityFile = "~/.ssh/gkleen@gitlab.lrz.de";
+    };
 }