{ description = "sea.fudo.org deploy server."; # ssh-fingerprints = [ # "1 1 4055c1d922ec858e703856dd76237f09219261e5" # "1 2 0f7bfa92fa0435785782b68ca4c9b71786d67df60804ea4b4c42ebb37d061659" # "4 1 5dc2b674554df5e042171b4045fcfe31f03ad01a" # "4 2 9bcf664a191e31bf53aa4728828480babdab5377da39a002324303c719b16a55" # ]; rp = "niten"; admin-email = "niten@fudo.org"; domain = "sea.fudo.org"; site = "seattle"; profile = "server"; # ssh-pubkey = # "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIP4TqqumZwSDLkg8cTpR734zM+nuqEp1ufaQPoFdqCab"; tmp-on-tmpfs = false; arch = "x86_64-linux"; nixos-system = true; machine-id = "edc4baa9cc1c401dba1bf870725b4bf0"; master-key = { public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINmJJFbAV8P1V1LSZr56GJ5ul3LBgdapbh+MK3ixTsxf"; key-path = "/state/master-key/key"; }; initrd-network = { ip = "10.0.5.10"; interface = "enp1s0"; keypair = { public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMLsxECiR4kqvUutMFkOTkIC8nsKK++aQ7HYiWjLdKdb"; private-key-file = "/state/ssh/initrd/ssh_ed25519_key"; }; }; }