From 63c8a66fb39dccc2d5c25a0d3e3bc33c2e96448b Mon Sep 17 00:00:00 2001 From: Geoff Bourne Date: Wed, 15 May 2024 08:48:18 -0500 Subject: [PATCH] docs: add info about DUMP_SERVER_PROPERTIES --- docs/configuration/server-properties.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/configuration/server-properties.md b/docs/configuration/server-properties.md index e30fcdf872c..1e647763f1d 100644 --- a/docs/configuration/server-properties.md +++ b/docs/configuration/server-properties.md @@ -4,7 +4,9 @@ If you prefer to manually manage the `server.properties` file, set `OVERRIDE_SER !!! note - To clear a server property, set the variable to an empty string, such as `-e RESOURCE_PACK=""`. An unset variable is ignored and the existing `server.property` is left unchanged. + To clear a server property, set the variable to an empty string, such as `-e RESOURCE_PACK=""`. An unset variable is ignored and the existing server property is left unchanged. + +To see what `server.properties` will get used by the server, set the environment variable `DUMP_SERVER_PROPERTIES` to "true" and the contents of `server.properties` will get output before the server starts. ## Placeholders