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

  services.openssh.knownHosts = {
    "robi" = {
      hostNames = [
        "robi.private"
        "robi"
        "144.76.13.147"
        "git.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";
    };
    "sputnik.private" = {
      hostNames = [
        "sputnik.private"
        "sputnik.secret"
        config.module.cluster.services.tinc.private.hosts.sputnik.tincIp
        config.module.cluster.services.tinc.secret.hosts.sputnik.tincIp
      ];
      publicKey =
        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICTLXDTqUtl0BQgzH1O7CRulGCRN1P4KU8imL/wjYFh8";
    };
    "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";
    };
  };
}