From 1fdd7edc53f4dc49cdf9d233ff7e3968c7742615 Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Fri, 1 Sep 2023 18:57:58 -0400
Subject: [PATCH] deploy: make ssh known hosts work better

---
 lib/gen-ssh-config.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/lib/gen-ssh-config.nix b/lib/gen-ssh-config.nix
index f017051..4934472 100644
--- a/lib/gen-ssh-config.nix
+++ b/lib/gen-ssh-config.nix
@@ -18,10 +18,8 @@ builtins.toFile "ssh-config" (
   lib.concatMapStrings
     (host: ''
       Host ${host}
+          UserKnownHostsFile ${sshKnownHostsTxt}
           ${attrsToLines nixosConfigurations.${host}.config.deploy.ssh}
     '')
-    (builtins.attrNames nixosConfigurations) +
-  ''
-    GlobalKnownHostsFile ${sshKnownHostsTxt}
-  ''
+    (builtins.attrNames nixosConfigurations)
 )