moved ssh config to home manager

configuration.nix

@@ -80,21 +80,6 @@
     dnsovertls = "true";
   };
 
-
-  # 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

home.nix

@@ -120,6 +120,35 @@ in
     sway-contrib.grimshot
   ]);
 
+  # Jumphost for deployment on infra
+  programs.ssh = {
+    enable = true;
+    enableDefaultConfig = false;
+    matchBlocks = {
+    "infra.cdaut.de" = {
+      hostname = "infra.cdaut.de";
+      user = "clara";
+      forwardAgent = true;
+    };
+    
+    "10.0.0.2" = {
+      hostname = "10.0.0.2";
+      proxyJump = "infra.cdaut.de";
+    };
+    "*" = {
+      forwardAgent = true;
+      addKeysToAgent = "no";
+      compression = false;
+      serverAliveInterval = 0;
+      serverAliveCountMax = 3;
+      hashKnownHosts = false;
+      userKnownHostsFile = "~/.ssh/known_hosts";
+      controlMaster = "no";
+      controlPath = "~/.ssh/master-%r@%n:%p";
+      controlPersist = "no";
+    };
+    };
+  };
 
 
   fonts.fontconfig.enable = true;