···

       
45
       
45
       
 
       


     

       
46
       
46
       
 
       
  # To be able to open the firewall, we need to read out port values in the

     

       
47
       
47
       
 
       
  # server properties, but fall back to the defaults when those don't exist.

     

       
48
       
48
       
-
       
  # These defaults are from https://minecraft.gamepedia.com/Server.properties#Java_Edition_3

     

       
48
       
48
       
+
       
  # These defaults are from https://minecraft.wiki/w/Server.properties#Java_Edition

     

       
49
       
49
       
 
       
  defaultServerPort = 25565;

     

       
50
       
50
       
 
       


     

       
51
       
51
       
 
       
  serverPort = cfg.serverProperties.server-port or defaultServerPort;

     
···

       
93
       
93
       
 
       
        type = lib.types.bool;

     

       
94
       
94
       
 
       
        default = false;

     

       
95
       
95
       
 
       
        description = ''

     

       
96
       
96
       
-
       
          Whether you agree to

     

       
97
       
97
       
-
       
          [

     

       
98
       
98
       
-
       
          Mojangs EULA](https://account.mojang.com/documents/minecraft_eula). This option must be set to

     

       
99
       
99
       
-
       
          `true` to run Minecraft server.

     

       
96
       
96
       
+
       
          Whether you agree to [Mojangs EULA](https://www.minecraft.net/eula).

     

       
97
       
97
       
+
       
          This option must be set to `true` to run Minecraft server.

     

       
100
       
98
       
 
       
        '';

     

       
101
       
99
       
 
       
      };

     

       
102
       
100
       
 
       


     
···

       
167
       
165
       
 
       
          }

     

       
168
       
166
       
 
       
        '';

     

       
169
       
167
       
 
       
        description = ''

     

       
170
       
170
       
-
       
          Minecraft server properties for the server.properties file. Only has

     

       
168
       
168
       
+
       
          Minecraft server properties forthe server.properties file. Only has

     

       
171
       
169
       
 
       
          an effect when {option}`services.minecraft-server.declarative`

     

       
172
       
170
       
 
       
          is set to `true`. See

     

       
173
       
173
       
-
       
          <https://minecraft.gamepedia.com/Server.properties#Java_Edition_3>

     

       
171
       
171
       
+
       
          <https://minecraft.wiki/w/Server.properties#Java_Edition>

     

       
174
       
172
       
 
       
          for documentation on these values.

     

       
175
       
173
       
 
       
        '';

     

       
176
       
174
       
 
       
      };

     
···

       
182
       
180
       
 
       
      jvmOpts = lib.mkOption {

     

       
183
       
181
       
 
       
        type = lib.types.separatedString " ";

     

       
184
       
182
       
 
       
        default = "-Xmx2048M -Xms2048M";

     

       
185
       
185
       
-
       
        # Example options from https://minecraft.gamepedia.com/Tutorials/Server_startup_script

     

       
183
       
183
       
+
       
        # Example options from https://minecraft.wiki/w/Tutorial:Server_startup_script

     

       
186
       
184
       
 
       
        example =

     

       
187
       
185
       
 
       
          "-Xms4092M -Xmx4092M -XX:+UseG1GC -XX:+CMSIncrementalPacing "

     

       
188
       
186
       
 
       
          + "-XX:+CMSClassUnloadingEnabled -XX:ParallelGCThreads=2 "