home/ssh: register kyoto-u machines

home/programs/ssh/default.nix

@@ -9,6 +9,7 @@ in
     ./home.nix
     ./other.nix
     ./pvv.nix
+    ./kyoto-u.nix
   ];
   config = lib.mkIf cfg.enable {
 

home/programs/ssh/kyoto-u.nix

@@ -0,0 +1,25 @@
+{ lib, ... }:
+let
+  default = {
+    user = "oysteikt";
+    identityFile = [ "~/.ssh/id_ed25519" ];
+  };
+in
+{
+  programs.ssh.matchBlocks = {
+    "io" = default // {
+      hostname = "io.kuis.kyoto-u.ac.jp";
+      # SOCKS proxy for access to internal web.
+      dynamicForwards = [{ port = 8080; }];
+    };
+  } // (lib.genAttrs [
+    "argo"
+    "procyon"
+    "apus"
+    "vega"
+    "leo"
+  ] (name: default // {
+    hostname = "${name}.fos.kuis.kyoto-u.ac.jp";
+    proxyJump = "io";
+  }));
+}