{ description = "Primary fudo.org server."; docker-server = true; rp = "admin"; admin-email = "admin@fudo.org"; domain = "fudo.org"; site = "portage"; profile = "server"; arch = "x86_64-linux"; machine-id = "d33245603a854e48ba90002639e063f8"; nixos-system = true; master-key = { public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMQyRAJQpFaBanQKdu3SWCu0mjqSdF7WC1WNdKdQ1edQ"; key-path = "/state/master-key/ed25519-key"; }; initrd-network = { ip = "208.81.3.117"; interface = "enp4s0f0"; keypair = { public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOAooY0j3xhs3PS5vFDXya1ljjo7fFXT98HDICVa3yBl"; private-key-file = "/state/ssh/initrd/ssh_ed25519_key"; }; }; }