{
  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;
}