Che cos'è un file INI?
INI — configurazione storica
Che cos'è?
Il file INI è il capostipite di tutti i formati di configurazione: sezioni tra parentesi quadre, e sotto ciascuna delle chiavi associate a dei valori. Una semplicità disarmante.
Il suo punto debole si riassume in una frase: non è mai stato normalizzato. Ogni programma lo interpreta a modo suo — commenti con punto e virgola o cancelletto, valori tra virgolette o meno, sezioni annidate oppure impossibili da creare.
Storia e origine
Il formato si afferma con le prime versioni di Windows, negli anni Ottanta, come metodo standard per memorizzare le preferenze di un programma.
È stato ufficialmente soppiantato dal registro di sistema, ma gli è sopravvissuto ampiamente: innumerevoli programmi lo preferiscono ancora oggi, proprio perché è semplice e modificabile con un editor di testo.
Perché è utile
Una semplicità assoluta, leggibile e modificabile da chiunque, senza strumenti né conoscenze particolari.
È perfettamente adatto a una configurazione piatta, fatta di poche decine di impostazioni.
Limiti e difetti
Nessuno standard: due programmi non lo leggeranno mai esattamente allo stesso modo.
Niente tipi di dato, niente liste, nessuna vera struttura ad albero. Oltre pochi livelli, diventa inutilizzabile.
Consigli d'uso
Per un progetto moderno, convertite i vostri INI in TOML: manterrete la leggibilità guadagnando una specifica vera e propria.
Per sfruttare la configurazione all'interno di un programma, il JSON sarà più semplice da gestire.
Converti il tuo INI in pochi secondi, sui nostri server sicuri in Francia.
Converti un INI