channel

commit 72ff15517c4652c7e879f87a7fddbb2e569cc8ba
parent 76f9e9f4e654940a0ba536bae34f2d39f9417225
Author: Luke Willis <lukejw@monastech.xyz>
Date:   Wed,  6 May 2026 13:45:11 -0400

andrew: Set server.properties for the Minecraft server

Diffstat:
M
mt/services/games.scm
 | 
2
+-
M
mt/system/andrew.scm
 | 
5
+++++

2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/mt/services/games.scm b/mt/services/games.scm
@@ -115,7 +115,7 @@
                       (for-each
                         (lambda (pair)
                           (format port "~a=~a\n" (car pair) (cdr pair)))
-                        #$properties)))
+                        '#$properties)))
                     
                   ;; TODO: Mod config
                     
diff --git a/mt/system/andrew.scm b/mt/system/andrew.scm
@@ -314,6 +314,11 @@ Welcome to \"andrew\" the, first MonasTech server.
      (append
       (list (service minecraft-service-type
                      (minecraft-configuration
+                      (properties `(("motd" . "MonasTech Private Server")
+                                    ("difficulty" . "hard")
+                                    ("white-list" . "true")
+                                    ("enforce-whitelist" . "true")
+                                    ("enforce-secure-profile" . "false")))
                       (mods (list
                              ;; Fabric API
                              (remote-file "https://cdn.modrinth.com/data/P7dR8mSH/versions/dZsorAUN/fabric-api-0.147.0+26.1.2.jar"