Documentation : Éditeur server.properties
Éditeur de server.properties pour serveur Minecraft Java Edition : MOTD, port, slots, mode de jeu, difficulté, distance de rendu et de simulation, whitelist, RCON et options du monde. Importez votre fichier existant, ajustez et téléchargez.
server.properties regroupe les réglages de base d'un serveur Minecraft Java Edition. Cet éditeur affiche les options courantes par thème, avec aperçu du fichier généré.
Comment utiliser l'outil
- Importez votre server.properties actuel avec « Importer » (facultatif).
- Modifiez les options par groupe : Serveur, Performance, Jeu, Monde, Administration.
- Vérifiez l'aperçu à droite, puis cliquez sur « Télécharger ».
- Arrêtez le serveur, remplacez le fichier dans son dossier et relancez-le.
Optimiser les performances
- Baissez view-distance et simulation-distance (8 à 10 suffisent pour la plupart des serveurs).
- Gardez online-mode à true pour sécuriser l'authentification.
Questions fréquentes
- Les options absentes de l'outil sont-elles conservées ?
- Non : seules les options listées sont exportées. Reportez manuellement les options spécifiques à votre version ou vos plugins.
- Faut-il arrêter le serveur avant de modifier le fichier ?
- Oui, le serveur réécrit server.properties à l'arrêt et écraserait vos changements.
Dernière mise à jour : 09/10/2026