From 0663e3755b7322af4df3c19aebb9035bd2920be7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Geoffrey=20=E2=80=9CFrogeye=E2=80=9D=20Preud=27homme?=
 <geoffrey@frogeye.fr>
Date: Tue, 7 May 2024 00:00:36 +0200
Subject: [PATCH] remote-builds: Fix SSH host keys

vivarium doesn't actually transfer the public keys, so the .pub files
are from somewhere during installation... oops.
---
 os/remote-builds/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/os/remote-builds/default.nix b/os/remote-builds/default.nix
index 1cb88d7..dc0ee40 100644
--- a/os/remote-builds/default.nix
+++ b/os/remote-builds/default.nix
@@ -6,15 +6,16 @@ let
     sshUser = "nixremote";
     # sshKey doesn't work
   };
+  # MANU ssh-keygen -y -f /etc/ssh/ssh_host_ed25519_key | base64 -w0
   vivariumBuilders = [
     {
       hostName = "abavorana.frogeye.fr";
-      publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSUZsaW9WYWZVWEIwdFNzSDRUVHBremphUkNkb0piSmRjVDRGOXFLZithMnEgcm9vdEBhYmF2b3JhbmEK";
+      publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSU5iNzcrS01tRHI0MVhZdmZITXQvK3NHMkJCSEIzYUl4M045WDNVejhFaUogZ2VvZmZyZXlAY3VyYWNhbwo=";
       supportedFeatures = [ "nixos-test" "benchmark" "big-parallel" "kvm" ];
     }
     {
       hostName = "ludwig.clowncar.frogeye.fr";
-      publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSVBaRHIrQmVqZzRXTVVGR1NGdkd5YituMk0zMG9VR09KVUlzY3Z1b2F4VEQgcm9vdEBsdWR3aWcK";
+      publicHostKey = "c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSU41SXZhMzNXeGplN095cHVEUHBSakFNMTlvRUtEVDRiYlpUTm82V1FLZTAgZ2VvZmZyZXlAY3VyYWNhbwo=";
     }
   ];
   # MANU pass vivarium/lemmy/remote-builds/cache | nix key convert-secret-to-public | cat