Comment modifier server.properties sans casser le serveur ?
Arrêter le serveur, modifier les clés utiles et vérifier les valeurs régénérées au démarrage.
server.properties contrôle notamment le port du serveur, la difficulté, la whitelist et les distances d’affichage et de simulation. Certaines valeurs sont réécrites au démarrage si leur format est invalide.
Procédure étape par étape
-
Arrêter proprement
Envoyez stop dans la console et attendez l’état hors ligne avant d’ouvrir le fichier.
-
Créer une sauvegarde
Dupliquez server.properties avant de modifier plusieurs paramètres.
-
Respecter le format
Gardez une seule clé par ligne, sans espace autour de =. Utilisez true ou false en minuscules.
-
Redémarrer et relire
Démarrez le serveur puis vérifiez le fichier et la console pour confirmer que les valeurs ont été acceptées.