jumphost for infra

configuration.nix

@@ -81,6 +81,20 @@
   };
 
 
+  # Jumphost for deployment on infra
+  programs.ssh = {
+    extraConfig = "
+      Host jumphost
+              hostname infra.cdaut.de
+              user clara
+      
+      Host internal
+              hostname 10.0.0.0/16
+              user clara
+              proxyJump jumphost
+    ";
+  };
+
   services.gvfs.enable = true;
 
   # VPN services