dosei: proxyjump through microbel instead of drolsum

home/programs/ssh/pvv.nix

@@ -24,7 +24,11 @@ let # http://www.pvv.ntnu.no/pvv/Maskiner
     "isvegg"
     "knutsen"
     "kommode"
-    [ "microbel" "pvv-users" "pvv-mail" ]
+    {
+      names = [ "microbel" "pvv-users" "pvv-mail" ];
+      proxyJump = lib.mkDefault null;
+      addressFamily = "inet";
+    }
     "orchid"
     "shark"
     "tallulah"
@@ -62,7 +66,7 @@ let # http://www.pvv.ntnu.no/pvv/Maskiner
       name = builtins.concatStringsSep " " names;
       value = overrideIfNotExists {
         hostname = "${builtins.head names}.pvv.ntnu.no";
-        proxyJump = "pvv";
+        proxyJump = "microbel";
         addressFamily = "inet";
       } (builtins.removeAttrs orig ["names"]);
     };
@@ -78,7 +82,7 @@ in
           user = "gitea";
           addressFamily = "inet";
           port = 2222;
-          proxyJump = "pvv";
+          proxyJump = "microbel";
         };
       }
     ];

hosts/dosei/home/default.nix

@@ -15,6 +15,7 @@
 
     "hildring pvv-login".proxyJump = "tsuki-ws";
     "drolsum pvv-login2 pvv".proxyJump = "tsuki-ws";
+    "microbel pvv-users pvv-mail".proxyJump = "tsuki-ws";
   };
 
   sops.secrets."git/nordicsemi-maintenance-repos-config" = { };