pureintent: include ~/.pu-state/*/ssh_config in ~/.ssh/config (#116)

* ssh include for pu-state

* route ssh user=pu via socks5 proxy
This commit is contained in:
Sridhar Ratnakumar 2026-05-15 12:22:23 -04:00 committed by GitHub
parent 9079910f7c
commit b21e289d74
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -42,4 +42,16 @@ in
vanjaram-run
pu
];
# pu writes per-instance ssh_config files under ~/.pu-state/<name>/. Including
# them lets `ssh <name>` work directly. The inner ssh those configs spawn goes
# to `pu@<PU_HOST>` which is only reachable via vanjaram — route any ssh to
# user `pu` through the SOCKS5 proxy.
home-manager.users.${flake.config.me.username}.programs.ssh = {
includes = [ "~/.pu-state/*/ssh_config" ];
matchBlocks."pu-jumphost" = {
match = "user pu";
proxyCommand = "${pkgs.netcat-openbsd}/bin/nc -X 5 -x 127.0.0.1:${toString socksPort} %h %p";
};
};
}