.PROPERTIES Rozszerzenie pliku
Plik właściwości Minecraft
| Deweloper | Mojang Specifications |
| Popularność |
4,4 | 801 Głosów |
Czym jest plik PROPERTIES?
Plik PROPERTIES to plik ustawień używany przez grę Minecraft, czyli grę typu sandbox polegającą na budowaniu z bloków. Przechowuje informacje konfiguracyjne gry w formacie zwykłego tekstu Java Properties z parami klucz-wartość, który ma również zastosowania poza grą Minecraft. W grze Minecraft gracze mogą używać plików PROPERTIES podczas konfigurowania serwera wieloosobowego lub modyfikacji gry.
Więcej informacji
Najczęściej spotykanym plikiem properties gry Minecraft jest server.properties, który przechowuje dane konfiguracyjne serwera wieloosobowego. Zapisuje takie informacje jak nazwa poziomu, ustawienia pojawiania się potworów, maksymalna dozwolona liczba graczy oraz port i adres IP serwera.
Plik PROPERTIES prawdopodobnie napotkasz tylko w kontekście gry Minecraft, jeśli chcesz zmodyfikować konfigurację serwera wieloosobowego. Plik server.properties znajdziesz w tym samym katalogu co wykonany przez Ciebie plik server.jar, który służył do uruchomienia serwera (serwer generuje go przy pierwszym uruchomieniu).
Popularne nazwy plików .PROPERTIES
server.properties - Typowy plik przechowujący wszystkie ustawienia serwera wieloosobowego gry Minecraft.
Jak otworzyć plik PROPERTIES
Pliki PROPERTIES można otwierać w dowolnym edytorze tekstu, takim jak Microsoft Notepad (Windows), Apple TextEdit (macOS) i gedit (Linux). Można je również otwierać w edytorach kodu źródłowego, w tym w programie Microsoft Visual Studio Code (wieloplatformowym), który udostępnia przydatne funkcje wyświetlania i edytowania kodu źródłowego.
Pamiętaj, że nieprawidłowa modyfikacja tekstu, zwłaszcza tekstu „klucza” (znajdującego się przed znakiem równości), w pliku PROPERTIES może uszkodzić plik. Ponadto, jeśli edytujesz plik server.properties, musisz ponownie uruchomić serwer lub wykonać polecenie /reload, aby serwer zastosował zmiany.
Programy otwierające lub odwołujące się do plików PROPERTIES
Plik właściwości Java
| Deweloper | Sun Microsystems |
| Popularność |
4,0 | 98 Głosów |
Plik PROPERTIES to tekstowy plik konfiguracyjny używany przez aplikacje Java do przechowywania danych w postaci prostych par klucz–wartość. Programy Java wczytują te pliki za pomocą interfejsu java.util.Properties API (lub blisko powiązanego interfejsu ResourceBundle API), dzięki czemu aplikacje mogą odczytywać ustawienia, takie jak preferencje, ścieżki plików, flagi funkcji lub teksty wyświetlane użytkownikom. Każdy wiersz zazwyczaj ma format key = value, dzięki czemu pliki te można łatwo edytować i utrzymywać.
Więcej informacji
Oprócz danych konfiguracyjnych pliki PROPERTIES są często używane do lokalizacji i tłumaczenia aplikacji Java. W tym zastosowaniu każdy plik reprezentuje określony język lub ustawienia regionalne, na przykład Bundle.properties (język domyślny) i Bundle_sl.properties (język słoweński). Klucze pozostają takie same we wszystkich językach, a wartości zawierają przetłumaczone teksty wyświetlane w interfejsie aplikacji. Wiele plików PROPERTIES używa sekwencji ucieczki Unicode (na przykład \u0161) do reprezentowania znaków innych niż ASCII, co jest długo stosowaną konwencją zapewniającą zgodność między wersjami Javy i narzędziami.
W przeciwieństwie do niektórych systemów konfiguracji Java nie zapisuje automatycznie plików PROPERTIES w stałym katalogu ani nie konwertuje ich na zagnieżdżone foldery. Miejsce i sposób przechowywania pliku PROPERTIES zależy całkowicie od aplikacji — często znajduje się on obok plików programu, wewnątrz instalatora .JAR lub instalatora opartego na formacie ZIP, albo w katalogu zasobów projektu. Programiści uzyskują dostęp do tych plików i zarządzają nimi bezpośrednio za pomocą interfejsów java.util.Properties lub ResourceBundle, zyskując pełną kontrolę nad wczytywaniem, zapisywaniem i aktualizowaniem wartości właściwości.
Jak otworzyć plik PROPERTIES
Pliki PROPERTIES można otwierać w edytorach kodu źródłowego, takich jak Microsoft Visual Studio Code, Sublime Text lub Notepad++. Pliki PROPERTIES otworzy także dowolny edytor zwykłego tekstu, w tym Microsoft Notepad, Apple TextEdit i gedit.
Podczas edytowania pliku PROPERTIES należy zachować strukturę key = value i unikać usuwania sekwencji ucieczki, takich jak \uXXXX, które reprezentują znaki Unicode. Chociaż edytory mogą wyświetlać i edytować pliki PROPERTIES, są one zazwyczaj przeznaczone do wczytywania i zarządzania nimi przez aplikacje Java, a nie do bezpośredniego otwierania przez użytkowników końcowych.