{ ... }: { programs.ssh.knownHosts = { installer.publicKeyFile = ../../../../installer/secrets/ssh_host_ed25519_key.pub; elara.publicKeyFile = ../../../../elara/secrets/ssh_host_ed25519_key.pub; himalia.publicKeyFile = ../../../../himalia/secrets/ssh_host_ed25519_key.pub; jupiter = { publicKeyFile = ../../../../jupiter/secrets/ssh_host_ed25519_key.pub; extraHostNames = [ "karaolidis.com" ]; }; jupiter-sish = { publicKeyFile = ../../../../jupiter/users/storm/configs/console/podman/sish/ssh_host_ed25519_key.pub; extraHostNames = [ "karaolidis.com" ]; }; jupiter-vps = { publicKeyFile = ../../../../jupiter-vps/secrets/ssh_host_ed25519_key.pub; extraHostNames = [ "vps.karaolidis.com" ]; }; }; }