let # Users paul = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIMFqREiw3EareYXntIrm1/numKDo113zx1WMOFO69LJ"; # Systems gilgamesh = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPDmLWYK6/4/Fh+wsoiz9+PCHvNcP2/wu2GvfzrqXCGA"; in { "ionos-prefix.age".publicKeys = [ paul gilgamesh ]; "ionos-secret.age".publicKeys = [ paul gilgamesh ]; }