channel

commit 7b1200d2d7a58d85e47b8f97eb0cbb320b3778ad
parent 5851278592c4b3cd6d8576740c291e5e0848cde8
Author: Luke Willis <lukejw@monastech.xyz>
Date:   Wed,  6 May 2026 19:25:12 -0400

andrew: Update server.properties for the Minecraft server

Diffstat:
M
mt/system/andrew.scm
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/mt/system/andrew.scm b/mt/system/andrew.scm
@@ -363,7 +363,9 @@ table inet filter {
             (service minecraft-service-type
                      (minecraft-configuration
                       (properties `(("motd" . "MonasTech Private Server")
+                                    ("level-seed" . "-126090853232117888")
                                     ("difficulty" . "hard")
+                                    ("allow-flight" . "true")
                                     ("white-list" . "true")
                                     ("spawn-protection" . "0")
                                     ("enforce-secure-profile" . "false")))