.properties Extensie de fișier
Tip fișier1Minecraft Properties File
| Dezvoltator | Mojang Specifications |
| Categorie | Fișiere de joc |
| Format | Text |
Ce este PROPERTIES fișier?
Un fișier PROPERTIES este un fișier de setări folosit de Minecraft, un joc de construcție cu blocuri de nisip. Acesta este salvat în text simplu și stochează informațiile de configurare pentru joc. Fișierele PROPERTIES pot fi utilizate pentru configurarea unui server multiplayer Minecraft sau a unui mod de joc.
Fișierul de proprietăți Minecraft cel mai comun este server.properties, care stochează datele de configurare pentru un server multiplayer. Se salvează informații cum ar fi numele nivelului, setările de reproducere a monștrilor, jucătorii maximi permise și portul de server și adresa IP.
Veți întâlni probabil cel mai probabil numai fișierul PROPERTIES dacă doriți să modificați configurația a unui server multiplayer. După editarea fișierului, trebuie să reporniți serverul pentru ca modificările să fie aplicate.
server.properties - fișier comun care stochează toate setările pentru un server multiplayer Minecraft.
Tip fișier2Java Properties File
| Dezvoltator | Sun Microsystems |
| Categorie | Setări Fișiere |
| Format | Text |
.PROPERTIES numărul opțiunii 2
Fișierul de proprietăți folosit de programele Java; conține o colecție de perechi cheie-valoare; pot fi încărcate de Java Virtual Machine (JVM) utilizând API-ul java.util.Properties; utilizate pentru stocarea diferitelor setări de programe și a proprietăților care pot fi accesate de aplicație.
Odată ce fișierele PROPERTIES au fost încărcate, proprietățile reale sunt persistente pe unitatea hard disk într-o colecție de fișiere și foldere imbricate care reprezintă ierarhia perechilor cheie-valoare. Fișierele sunt salvate în directorul $ HOME / .properties / implicit.
Puteți accesa proprietățile Java utilizând API-ul java.util.Properties în programele dvs. Java.