From 96631ae9cf4e4405fbc16900348ff9f4b131716f Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Fri, 3 Oct 2025 10:46:51 +0900
Subject: [PATCH] home/ssh: register kyoto-u machines

---
 home/programs/ssh/default.nix |  1 +
 home/programs/ssh/kyoto-u.nix | 25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 home/programs/ssh/kyoto-u.nix

diff --git a/home/programs/ssh/default.nix b/home/programs/ssh/default.nix
index 1a41318..549f288 100644
--- a/home/programs/ssh/default.nix
+++ b/home/programs/ssh/default.nix
@@ -9,6 +9,7 @@ in
     ./home.nix
     ./other.nix
     ./pvv.nix
+    ./kyoto-u.nix
   ];
   config = lib.mkIf cfg.enable {
 
diff --git a/home/programs/ssh/kyoto-u.nix b/home/programs/ssh/kyoto-u.nix
new file mode 100644
index 0000000..ea3514d
--- /dev/null
+++ b/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";
+  }));
+}