{ description = "Deploy Server #2"; rp = "niten"; admin-email = "niten@fudo.org"; domain = "sea.fudo.org"; site = "seattle"; profile = "server"; tmp-on-tmpfs = false; arch = "x86_64-linux"; nixos-system = false; machine-id = "988f39a3b6ab454e9d7dad65bfe36bbe"; master-key = { public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICgAzn6gyG1ze7L1WLU84poPGcoUntqfvgn+/s3bxhR2"; key-path = "/state/master-key/key"; }; hardened = true; }