.PROPERTIES Estensione file
File delle proprietà di Minecraft
| Sviluppatore | Mojang Specifications |
| Popolarità |
4,4 | 801 Voti |
Che cos'è un file PROPERTIES?
Un file PROPERTIES è un file delle impostazioni usato da Minecraft, un gioco sandbox di costruzione con blocchi. Memorizza le informazioni di configurazione del gioco nel formato di testo normale delle proprietà Java basato su coppie chiave-valore, che trova applicazione anche al di fuori di Minecraft. In Minecraft, i giocatori possono usare i file PROPERTIES quando configurano un server multiplayer o una mod del gioco.
Maggiori informazioni
Il file delle proprietà di Minecraft più comune è server.properties, che memorizza i dati di configurazione di un server multiplayer. Salva informazioni come il nome del livello, le impostazioni per la generazione dei mostri, il numero massimo di giocatori consentiti, nonché la porta e l'indirizzo IP del server.
Probabilmente incontrerai un file PROPERTIES solo nel contesto di Minecraft, se vuoi modificare la configurazione di un server multiplayer. Nello specifico, puoi trovare il file server.properties nella stessa directory del file server.jar che hai eseguito per avviare il server (il server lo genera al primo avvio).
Nomi file .PROPERTIES comuni
server.properties - File comune che memorizza tutte le impostazioni di un server multiplayer di Minecraft.
Come aprire un file PROPERTIES
Puoi aprire i file PROPERTIES con qualsiasi editor di testo, come Microsoft Notepad (Windows), Apple TextEdit (macOS) e gedit (Linux). Puoi anche aprire i file con editor di codice sorgente, tra cui Microsoft Visual Studio Code (multipiattaforma), che offre utili funzioni per visualizzare e modificare il codice sorgente.
Ricorda che modificare il testo in modo errato, soprattutto il testo della "chiave" (prima del segno di uguale), nel file PROPERTIES può danneggiare il file. Inoltre, se modifichi il file server.properties, devi riavviare il server o eseguire il comando /reload affinché il server applichi le modifiche.
Programmi che aprono o fanno riferimento ai file PROPERTIES
File delle proprietà Java
| Sviluppatore | Sun Microsystems |
| Popolarità |
4,0 | 98 Voti |
Un file PROPERTIES è un file di configurazione basato su testo utilizzato dalle applicazioni Java per memorizzare dati sotto forma di semplici coppie chiave-valore. I programmi Java caricano questi file utilizzando l'API java.util.Properties (o la strettamente correlata API ResourceBundle), consentendo alle applicazioni di leggere impostazioni come preferenze, percorsi dei file, flag delle funzionalità o testi visualizzati all'utente. In genere, ogni riga segue il formato key = value, rendendo i file facili da modificare e gestire.
Maggiori informazioni
Oltre ai dati di configurazione, i file PROPERTIES vengono comunemente utilizzati per la localizzazione e la traduzione nelle applicazioni Java. In questo caso, ogni file rappresenta una lingua o un'impostazione locale specifica, come Bundle.properties (lingua predefinita) e Bundle_sl.properties (sloveno). Le chiavi rimangono uguali tra le lingue, mentre i valori contengono il testo tradotto mostrato nell'interfaccia dell'app. Molti file PROPERTIES utilizzano sequenze di escape Unicode (ad esempio, \u0161) per rappresentare caratteri non ASCII, una convenzione di lunga data che garantisce la compatibilità tra versioni e strumenti Java.
A differenza di alcuni sistemi di configurazione, Java non salva automaticamente i file PROPERTIES in una directory fissa e non li converte in cartelle nidificate. Il luogo e il modo in cui viene archiviato un file PROPERTIES dipendono interamente dall'applicazione: spesso si trova insieme ai file del programma, all'interno di un .JAR o di un programma di installazione basato su ZIP, oppure nella directory delle risorse di un progetto. Gli sviluppatori accedono e gestiscono questi file direttamente tramite le API java.util.Properties o ResourceBundle, mantenendo il pieno controllo sul caricamento, il salvataggio e l'aggiornamento dei valori delle proprietà.
Come aprire un file PROPERTIES
Puoi aprire i file PROPERTIES con editor di codice sorgente, come Microsoft Visual Studio Code, Sublime Text o Notepad++. Anche un qualsiasi editor di testo semplice può aprire i file PROPERTIES, tra cui Microsoft Notepad, Apple TextEdit e gedit.
Quando modifichi un file PROPERTIES, è importante mantenere la struttura key = value ed evitare di rimuovere sequenze di escape come \uXXXX, che rappresentano caratteri Unicode. Inoltre, sebbene gli editor possano visualizzare e modificare i file PROPERTIES, questi sono generalmente destinati a essere caricati e gestiti dalle applicazioni Java anziché aperti direttamente dagli utenti finali.