From 11a08c8b98dbd5498fcdc674ed84a617c4f8fcae Mon Sep 17 00:00:00 2001 From: Emma Thorpe Date: Wed, 10 Jun 2026 13:21:59 +0100 Subject: [PATCH] feat(ssh): pin the Gitea host to its IP, overriding DNS Set HostName 10.187.1.76 on the code.emmathe.dev block so the Gitea remote resolves to the fixed IP without relying on DNS (same user, port 30009 and key). Co-Authored-By: Claude Opus 4.8 (1M context) --- lyrathorpe/home/shell.nix | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/lyrathorpe/home/shell.nix b/lyrathorpe/home/shell.nix index a1ede63..0c64ba2 100644 --- a/lyrathorpe/home/shell.nix +++ b/lyrathorpe/home/shell.nix @@ -241,10 +241,12 @@ // lib.optionalAttrs pkgs.stdenv.hostPlatform.isDarwin { UseKeychain = "yes"; }; - # Gitea remote (the flake's origin) -- required on every host. Port 30009 - # is non-default; pin the dedicated key (identitiesOnly avoids "too many - # authentication failures" when the agent holds several keys). + # Gitea remote (the flake's origin) -- required on every host. HostName + # pins the IP so it resolves without DNS. Port 30009 is non-default; pin + # the dedicated key (identitiesOnly avoids "too many authentication + # failures" when the agent holds several keys). "code.emmathe.dev" = { + HostName = "10.187.1.76"; User = "git"; Port = 30009; IdentityFile = "~/.ssh/code.emmathe.dev";