.PROPERTIES Extension de fichier
Fichier de propriétés Minecraft
| Développeur | Mojang Specifications |
| Popularité |
4,4 | 801 Votes |
Qu'est-ce qu'un fichier PROPERTIES ?
Un fichier PROPERTIES est un fichier de paramètres utilisé par Minecraft, un jeu de construction de blocs dans un monde ouvert. Il stocke les informations de configuration du jeu au format texte brut clé-valeur Java Properties, qui est également utilisé en dehors de Minecraft. Dans Minecraft, les joueurs peuvent utiliser des fichiers PROPERTIES lors de la configuration d’un serveur multijoueur ou d’un mod de jeu.
Plus d'informations
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 du niveau, les paramètres d’apparition des monstres, le nombre maximal de joueurs autorisés, ainsi que le port et l’adresse IP du serveur.
Vous ne rencontrerez probablement un fichier PROPERTIES dans le contexte de Minecraft que si vous cherchez à modifier la configuration d’un serveur multijoueur. Plus précisément, vous pouvez trouver le fichier server.properties dans le même répertoire que le fichier server.jar que vous avez exécuté pour lancer le serveur (le serveur le génère lors de son premier démarrage).
Noms de fichiers .PROPERTIES courants
server.properties - Fichier courant qui stocke tous les paramètres d’un serveur multijoueur Minecraft.
Comment ouvrir un fichier PROPERTIES
Vous pouvez ouvrir les fichiers PROPERTIES avec n’importe quel éditeur de texte, tel que Microsoft Notepad (Windows), Apple TextEdit (macOS) et gedit (Linux). Vous pouvez également ouvrir ces fichiers avec des éditeurs de code source, notamment Microsoft Visual Studio Code (multiplateforme), qui propose des fonctionnalités pratiques pour afficher et modifier le code source.
N’oubliez pas que toute modification incorrecte du texte, en particulier du texte de la « clé » (avant le signe égal), dans le fichier PROPERTIES peut corrompre le fichier. De plus, si vous modifiez le fichier server.properties, vous devez redémarrer le serveur ou exécuter la commande /reload pour que le serveur applique les modifications.
Programmes qui ouvrent ou référencent les fichiers PROPERTIES
Fichier de propriétés Java
| Développeur | Sun Microsystems |
| Popularité |
4,0 | 98 Votes |
Un fichier PROPERTIES est un fichier de configuration textuel utilisé par les applications Java pour stocker des données sous forme de simples paires clé-valeur. Les programmes Java chargent ces fichiers à l'aide de l'API java.util.Properties (ou de l'API ResourceBundle, qui lui est étroitement liée), ce qui permet aux applications de lire des paramètres tels que les préférences, les chemins de fichiers, les indicateurs de fonctionnalité ou le texte affiché à l'utilisateur. Chaque ligne suit généralement le format key = value, ce qui rend les fichiers faciles à modifier et à gérer.
Plus d'informations
En plus des données de configuration, les fichiers PROPERTIES sont couramment utilisés pour la localisation et la traduction dans les applications Java. Dans ce cas, chaque fichier représente une langue ou une locale spécifique, comme Bundle.properties (langue par défaut) et Bundle_sl.properties (slovène). Les clés restent les mêmes dans toutes les langues, tandis que les valeurs contiennent le texte traduit affiché dans l'interface de l'application. De nombreux fichiers PROPERTIES utilisent des séquences d'échappement Unicode (par exemple, \u0161) pour représenter les caractères non ASCII, une convention ancienne qui garantit la compatibilité entre les différentes versions de Java et les outils.
Contrairement à certains systèmes de configuration, Java n'enregistre pas automatiquement les fichiers PROPERTIES dans un répertoire fixe et ne les convertit pas en dossiers imbriqués. L'emplacement et le mode de stockage d'un fichier PROPERTIES dépendent entièrement de l'application : il se trouve souvent à côté des fichiers du programme, dans une archive .JAR ou un programme d'installation basé sur ZIP, ou dans le répertoire de ressources d'un projet. Les développeurs accèdent directement à ces fichiers et les gèrent à l'aide des API java.util.Properties ou ResourceBundle, ce qui leur donne un contrôle total sur le chargement, l'enregistrement et la mise à jour des valeurs des propriétés.
Comment ouvrir un fichier PROPERTIES
Vous pouvez ouvrir les fichiers PROPERTIES avec des éditeurs de code source, tels que Microsoft Visual Studio Code, Sublime Text ou Notepad++. N'importe quel éditeur de texte brut peut également ouvrir les fichiers PROPERTIES, notamment Microsoft Notepad, Apple TextEdit et gedit.
Lorsque vous modifiez un fichier PROPERTIES, il est important de conserver la structure key = value et d'éviter de supprimer les séquences d'échappement telles que \uXXXX, qui représentent des caractères Unicode. De plus, même si les éditeurs peuvent afficher et modifier les fichiers PROPERTIES, ceux-ci sont généralement destinés à être chargés et gérés par des applications Java plutôt qu'à être ouverts directement par les utilisateurs finaux.