This allows writing:
programs.ssh.knownHosts."10.1.2.3".publicKey = "bar";
instead of
programs.ssh.knownHosts = [ { hostNames = [ "10.1.2.3" ]; publicKey = "bar"; } ];
This allows writing:
programs.ssh.knownHosts."10.1.2.3".publicKey = "bar";
instead of
programs.ssh.knownHosts = [ { hostNames = [ "10.1.2.3" ]; publicKey = "bar"; } ];