# generated by updateSshKeys.sh
{ config, lib, ... }: {

  services.openssh.knownHosts = {
    #"robi_init" = {
    #  hostNames = [
    #    "robi:2222"
    #    "144.76.13.147:2222"
    #  ];
    #  fingerprints
    #  256 SHA256:rhvbJ84cPXXezaoJiY7tFsG8CJxI2F/lLKz8q+xUW+g root@rescue (ED25519)
    # 3072 SHA256:KBVMQLNWaDpzlCZERN9OeEDFAhUoADOZRfenXWHxswU root@rescue (RSA)
    #  publicKey = "";
    #};
    "robi" = {
      hostNames = [
        "robi.private"
        "robi"
        "144.76.13.147"
        "git.ingolf-wagner.de"
        "taskd.ingolf-wagner.de"
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIK2PGX6cZuBUGX4VweMzi0aRh4uQ61yngCzZGcK3w5XV";
    };
    "sternchen.secret" = {
      hostNames = [
        "sternchen.secret"
        config.module.cluster.services.tinc.secret.hosts.sternchen.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILriD/0+65L1mkbjKENwpvB3wUMXz/rEf9J8wuJjJa0q";
    };
    "sterni.private" = {
      hostNames = [
        "sterni.private"
        "sterni.secret"
        config.module.cluster.services.tinc.private.hosts.sterni.tincIp
        config.module.cluster.services.tinc.secret.hosts.sterni.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDyHmHJy2Va45p9mn+Hj3DyaY5yxnQIKvXeACHjzgSKt";
    };
    "workhorse.private" = {
      hostNames = [
        "workhorse.private"
        "workhorse.secret"
        config.module.cluster.services.tinc.private.hosts.workhorse.tincIp
        config.module.cluster.services.tinc.secret.hosts.workhorse.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDaK0Vv33TuGQa/B5p54sGilgpYvfKkBaBGlEBpIk1QB";
    };
    "porani.secret" = {
      hostNames = [
        "porani.secret"
        config.module.cluster.services.tinc.secret.hosts.porani.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOKNtRWVrqADgAMtTSWgnpp8gRKUtn4QUMFzQ78fC+aK";
    };
    "pepe.private" = {
      hostNames = [
        "pepe.private"
        "pepe.lan"
        config.module.cluster.services.tinc.private.hosts.pepe.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJPlva+Vdj8WmQPlbQLN3qicMz5AAsyTzK53BincxtAz";
    };
    "mobi.private" = {
      hostNames = [
        "mobi.private"
        config.module.cluster.services.tinc.private.hosts.mobi.tincIp
      ];
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGhBtcipW9rV6hHS2hv5tl5hd8vW8dnuFfFwnAs2u0kS";
    };
  };
}