Estensione di file .PROPERTIES

Un file PROPERTIES è un file di impostazioni utilizzato da Minecraft, un gioco di costruzione di blocchi sandbox. Viene salvato in testo semplice e memorizza le informazioni di configurazione per il gioco. I file PROPERTIES possono essere utilizzati per configurare un server multiplayer Minecraft o una mod di gioco.

Il file PROPERTIES 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 generazione dei mostri, il numero massimo consentito di giocatori, la porta del server e l'indirizzo IP.

Molto probabilmente ti imbatterai nel file PROPERTIES se vuoi modificare la configurazione di un server multiplayer. Dopo aver modificato il file, è necessario riavviare il server per poter applicare le modifiche.

​​ server.properties - File comune che memorizza tutte le impostazioni per un server multiplayer di Minecraft.

File PROPERTIES utilizzato dai programmi Java; contiene una raccolta di coppie chiave-valore; può essere caricato dalla Java Virtual Machine (JVM) utilizzando l'API java.util.Properties ; utilizzato per memorizzare varie impostazioni del programma e PROPERTIES a cui è possibile accedere dall'applicazione.

Una volta caricati i file PROPERTIES, i PROPERTIES effettivi vengono mantenuti sul disco rigido in una raccolta di file e cartelle nidificati che rappresentano la gerarchia di key- coppie di valori. I file vengono salvati nella directory $ HOME / .properties / per impostazione predefinita.

È possibile accedere a Java PROPERTIES usando API java.util.Properties nei tuoi programmi Java.