File con estensione .properties
Tipo di file 1Minecraft Properties File
| Sviluppatore | Mojang Specifications |
| Categoria | File di gioco |
| Formato | Text |
.PROPERTIES numero opzione 1
Un file PROPERTIES è un file di impostazioni usato da Minecraft, un gioco di costruzione di blocchi sandbox. Viene salvato in testo normale e memorizza le informazioni di configurazione per il gioco. I file PROPERTIES possono essere usati per configurare un server multiplayer di Minecraft o un mod di gioco.
Il file delle proprietà di Minecraft più comune è server.properties, che memorizza i dati di configurazione per un server multiplayer. Salva informazioni come il nome del livello, le impostazioni di spawning dei mostri, i giocatori massimi consentiti, la porta del server e l'indirizzo IP.
Molto probabilmente troverai il file PROPERTIES se vuoi modificare la configurazione di un server multiplayer. Dopo aver modificato il file, è necessario riavviare il server in modo che le modifiche vengano applicate.
server.properties - File comune che memorizza tutte le impostazioni per un server multiplayer di Minecraft.
Tipo di file 2Java Properties File
| Sviluppatore | Sun Microsystems |
| Categoria | Settings Files |
| Formato | Text |
.PROPERTIES numero opzione 2
File delle proprietà usato dai programmi Java; contiene una raccolta di coppie chiave-valore; può essere caricato da Java Virtual Machine (JVM) utilizzando l'API java.util.Properties; utilizzato per memorizzare varie impostazioni del programma e proprietà accessibili dall'applicazione.
Una volta caricati i file PROPERTIES, le proprietà effettive vengono mantenute sul disco rigido in una raccolta di file e cartelle nidificati che rappresentano la gerarchia delle coppie chiave-valore. I file vengono salvati nella directory $ HOME / .properties / per impostazione predefinita.
È possibile accedere alle proprietà Java utilizzando l'API java.util.Properties nei programmi Java.