let server = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIP9y+1CHA9RxeeJrkIblRErPvWTeTrqdNlQjxuRgMXN2"; admin = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIE40ISu3ydCqfdpb26JYD5cIN0Fu0id/FDS+xjB5zpqu"; in { "discord-bot-token.age".publicKeys = [ server admin ]; "tailscale-auth-key.age".publicKeys = [ server admin ]; "b2-account-id.age".publicKeys = [ server admin ]; "b2-application-key.age".publicKeys = [ server admin ]; "grafana-admin-password.age".publicKeys = [ server admin ]; "grafana-secret-key.age".publicKeys = [ server admin ]; "minecraft-seed.age".publicKeys = [ server admin ]; }