Edit the Minecraft server properties file. If you're unsure about a specific property,
the
Minecraft Wiki
has more detailed information about each property.
{{ formatPropertyName(index) }}
The server properties file has not been generated yet. Start up your server to generate it.