...

1 files changed, 12 insertions, 0 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 0021c75e..d6f7c1dc 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -423,6 +423,7 @@
     };
   "cip04" =
     { hostname = "cip04.cipmath.loc";
+      proxyJump = "mathw0h";
     };
   "mgmt01" =
     { hostname = "mgmt01.mathinst.loc";
@@ -468,4 +469,15 @@
       user = "git";
       identityFile = "~/.ssh/gitlab.com";
     };
+  "*.uniworx.de" =
+    { user = "gkleen";
+      identityFile = "~/.ssh/gkleen@uniworx.de";
+      certificateFile = "~/.ssh/gkleen@uniworx.de-cert.pub";
+      extraOptions = {
+        UpdateHostKeys = "no";
+        UserKnownHostsFile = toString (pkgs.writeText "ssh_known_hosts" ''
+          @cert-authority *.uniworx.de ${builtins.readFile ./ssh/uniworx.de-ca.pub}
+        '');
+      };
+    };
 }