From d7fc02342227fbd442f47e27fa12a42ff7998cd5 Mon Sep 17 00:00:00 2001 From: Linnnus Date: Sat, 30 Sep 2023 14:53:27 +0200 Subject: fix everything forever i hope --- services/on-demand-minecraft/default.nix | 2 ++ 1 file changed, 2 insertions(+) (limited to 'services/on-demand-minecraft') diff --git a/services/on-demand-minecraft/default.nix b/services/on-demand-minecraft/default.nix index e811f39..541a624 100644 --- a/services/on-demand-minecraft/default.nix +++ b/services/on-demand-minecraft/default.nix @@ -50,6 +50,7 @@ in The internal port which the minecraft server will listen to. This port does not need to be exposed to the network. ''; + type = types.port; default = cfg.external-port + 1; }; @@ -63,6 +64,7 @@ in You may also have to set up port forwarding if you want to play with friends who are not on the same LAN. ''; + type = types.port; default = 25565; }; -- cgit v1.2.3