Extension de fichier .properties
Type de fichier 1Minecraft Properties File
Développeur | Mojang Specifications |
Catégorie | Fichiers de jeu |
Le format | Text |
.PROPERTIES numéro d'option 1
Un fichier de propriétés est un fichier de paramètres utilisé par Minecraft, un jeu de construction de blocs de sandbox. Il est enregistré en texte brut et stocke les informations de configuration pour le jeu. Les fichiers PROPERTIES peuvent être utilisés pour configurer un serveur multijoueur Minecraft ou un mod de jeu.
Le fichier de propriétés Minecraft le plus courant est server.properties, qui stocke les données de configuration d'un serveur multijoueur. Il enregistre des informations telles que le nom de niveau, les paramètres de création de monstres, le nombre maximum de lecteurs autorisés, ainsi que le port du serveur et l'adresse IP.
Vous ne rencontrerez probablement le fichier PROPERTIES que si vous souhaitez modifier la configuration. d'un serveur multijoueur. Après avoir modifié le fichier, vous devez redémarrer le serveur pour que les modifications soient appliquées.
server.properties - Fichier commun contenant tous les paramètres d'un serveur multijoueur Minecraft.
Type de fichier 2Java Properties File
Développeur | Sun Microsystems |
Catégorie | Fichiers de paramètres |
Le format | Text |
.PROPERTIES numéro d'option 2
Fichier de propriétés utilisé par les programmes Java; contient une collection de paires clé-valeur; peuvent être chargés par la machine virtuelle Java (JVM) à l’aide de l’API java.util.Properties; utilisé pour stocker divers paramètres et propriétés du programme auxquels l’application peut accéder.
Une fois les fichiers PROPERTIES chargés, les propriétés réelles sont conservées sur le disque dur dans une collection de fichiers et de dossiers imbriqués qui représentent la hiérarchie des paires clé-valeur. Les fichiers sont enregistrés dans le répertoire $ HOME / .properties / par défaut.
Vous pouvez accéder aux propriétés Java à l'aide de l'API java.util.Properties de vos programmes Java.