set_server_properties_bulk
Configure multiple Minecraft server settings simultaneously to set up new servers or modify world generation parameters.
Instructions
Set multiple server.properties values at once. Useful for configuring a new server or changing world generation settings.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| properties | Yes | Object of key-value pairs to set (e.g., { 'gamemode': 'creative', 'difficulty': 'hard' }) |
Implementation Reference
- src/tools/config-tools.ts:58-80 (handler)The tool registration and handler implementation for set_server_properties_bulk. It uses z.record(z.string(), z.string()) for input validation and calls manager.properties.setMultiple to update the configuration.
server.tool( "set_server_properties_bulk", "Set multiple server.properties values at once. Useful for configuring a new server or changing world generation settings.", { properties: z .record(z.string(), z.string()) .describe("Object of key-value pairs to set (e.g., { 'gamemode': 'creative', 'difficulty': 'hard' })"), }, async ({ properties }) => { manager.properties.setMultiple(properties); const lines = Object.entries(properties).map( ([k, v]) => ` ${k}=${v}` ); return { content: [ { type: "text", text: `Set ${lines.length} properties:\n${lines.join("\n")}\n\n⚠️ Restart the server for changes to take effect.`, }, ], }; } );