.PROPERTIES Dateiendung
Minecraft-Properties-Datei
| Entwickler | Mojang Specifications |
| Beliebtheit |
4,4 | 801 Stimmen |
Was ist eine PROPERTIES-Datei?
Eine PROPERTIES-Datei ist eine Einstellungsdatei, die von Minecraft, einem Sandbox-Spiel zum Bauen mit Blöcken, verwendet wird. Sie speichert Konfigurationsinformationen für das Spiel im Klartextformat Java Properties mit Schlüssel-Wert-Paaren, das auch außerhalb von Minecraft verwendet wird. In Minecraft können Spieler PROPERTIES-Dateien beim Konfigurieren eines Mehrspieler-Servers oder einer Spiel-Mod verwenden.
Weitere Informationen
Die häufigste Minecraft-Properties-Datei ist server.properties. Sie speichert Konfigurationsdaten für einen Mehrspieler-Server. Sie enthält Informationen wie den Namen der Welt, Einstellungen zum Erscheinen von Monstern, die maximal zulässige Spielerzahl sowie den Serverport und die IP-Adresse.
Wahrscheinlich werden Sie einer PROPERTIES-Datei nur im Zusammenhang mit Minecraft begegnen, wenn Sie die Konfiguration eines Mehrspieler-Servers ändern möchten. Die Datei server.properties befindet sich im selben Verzeichnis wie die Datei server.jar, die Sie zum Ausführen des Servers gestartet haben. Der Server erstellt sie beim ersten Start.
Häufige .PROPERTIES-Dateinamen
server.properties - Häufig verwendete Datei, die alle Einstellungen für einen Minecraft-Mehrspieler-Server speichert.
So öffnen Sie eine PROPERTIES-Datei
Sie können PROPERTIES-Dateien mit jedem Texteditor öffnen, beispielsweise mit Microsoft Notepad (Windows), Apple TextEdit (macOS) und gedit (Linux). Sie können die Dateien auch mit Quelltexteditoren öffnen, darunter Microsoft Visual Studio Code (plattformübergreifend), das hilfreiche Funktionen zum Anzeigen und Bearbeiten von Quelltext bietet.
Beachten Sie, dass eine falsche Änderung des Texts in der PROPERTIES-Datei, insbesondere des „Schlüssel“-Texts (vor dem Gleichheitszeichen), die Datei beschädigen kann. Wenn Sie außerdem die Datei server.properties bearbeiten, müssen Sie den Server neu starten oder den Befehl /reload ausführen, damit der Server die Änderungen übernimmt.
Programme, die .PROPERTIES-Dateien öffnen oder referenzieren
Java-Properties-Datei
| Entwickler | Sun Microsystems |
| Beliebtheit |
4,0 | 98 Stimmen |
Eine PROPERTIES-Datei ist eine textbasierte Konfigurationsdatei, die von Java-Anwendungen verwendet wird, um Daten als einfache Schlüssel-Wert-Paare zu speichern. Java-Programme laden diese Dateien mithilfe der java.util.Properties-API (oder der eng verwandten ResourceBundle-API), sodass Anwendungen Einstellungen wie Voreinstellungen, Dateipfade, Funktionsflags oder in der Benutzeroberfläche angezeigten Text auslesen können. Jede Zeile folgt normalerweise dem Format key = value, wodurch sich die Dateien leicht bearbeiten und verwalten lassen.
Weitere Informationen
Zusätzlich zu Konfigurationsdaten werden PROPERTIES-Dateien häufig für die Lokalisierung und Übersetzung in Java-Anwendungen verwendet. In diesem Fall steht jede Datei für eine bestimmte Sprache oder Region, zum Beispiel Bundle.properties (Standardsprache) und Bundle_sl.properties (Slowenisch). Die Schlüssel bleiben in allen Sprachen gleich, während die Werte den übersetzten Text enthalten, der in der Benutzeroberfläche der Anwendung angezeigt wird. Viele PROPERTIES-Dateien verwenden Unicode-Escape-Sequenzen (zum Beispiel \u0161), um Nicht-ASCII-Zeichen darzustellen. Dies ist eine langjährige Konvention, die die Kompatibilität zwischen Java-Versionen und Tools gewährleistet.
Anders als bei manchen Konfigurationssystemen speichert Java PROPERTIES-Dateien nicht automatisch in einem festen Verzeichnis und wandelt sie auch nicht in verschachtelte Ordner um. Wo und wie eine PROPERTIES-Datei gespeichert wird, hängt vollständig von der Anwendung ab. Häufig befindet sie sich neben den Programmdateien, in einem .JAR oder einem ZIP-basierten Installationsprogramm oder im Ressourcenverzeichnis eines Projekts. Entwickler greifen über die java.util.Properties- oder ResourceBundle-APIs direkt auf diese Dateien zu und verwalten sie, wodurch sie die vollständige Kontrolle über das Laden, Speichern und Aktualisieren von Eigenschaftswerten haben.
So öffnen Sie eine PROPERTIES-Datei
Sie können PROPERTIES-Dateien mit Quelltexteditoren wie Microsoft Visual Studio Code, Sublime Text oder Notepad++ öffnen. Jeder reine Texteditor kann PROPERTIES-Dateien ebenfalls öffnen, darunter Microsoft Notepad, Apple TextEdit und gedit.
Beim Bearbeiten einer PROPERTIES-Datei ist es wichtig, die Struktur key = value beizubehalten und Escape-Sequenzen wie \uXXXX nicht zu entfernen, da sie Unicode-Zeichen darstellen. Obwohl Editoren PROPERTIES-Dateien anzeigen und bearbeiten können, sind diese normalerweise dafür vorgesehen, von Java-Anwendungen geladen und verwaltet zu werden, statt direkt von Endbenutzern geöffnet zu werden.