Dateiformat MINI

Das MINI-Dateiformat steht für "Miray INI" und ist ein erweitertes INI-Dateiformat. Es dient zur strukturierten Speicherung von Schlüssel-Werte-Paaren. MINI-Dateien vereinen wie INI-Dateien eine gute Schreib- und Lesbarkeit durch Mensch wie auch Computer. Sie eignen sich daher gut, um Konfigurationen für beliebige Zwecke zu erstellen, zu speichern und zu verändern.

So können zum Beispiel MINI-Dateien durch ein Programm automatisiert erstellt werden, um dessen Konfigurationsstatus zu speichern. Die Datei kann dann einfach durch den Bediener angepasst werden - oder umgekehrt. MINI-Dateien haben keine so exakte Syntax wie andere Formate (z.B. JSON), sind dafür aber für Benutzer intuitiver zu Erfassen und zu Bearbeiten.

Speicherformat

Grundsätzlich verwenden MINI-Dateien das Textformat, allerdings mit bestimmten Konventionen, um das Zusammenspiel zwischen Benutzer und Computer möglichst eindeutig und einfach zu ermöglichen.

Sektionen

Über Sektionen werden Schlüssel-Werte-Paare gruppiert bzw. einer bestimmten Sektion zugeordnet. Eine Anwendung, welche die MINI-Datei auswertet kann damit eine Zuordnung vornehmen oder einen Kontext verknüpfen.

Schlüssel & Werte

Die in MINI-Dateien abgelegten Informationen werden in Form sogenannter Schlüssel-Werte-Paare gespeichert. Dabei gibt der Schlüssel an, um welche Art von Information es sich handelt (z.B. die Textfarbe) und der Wert bestimmt die tatsächliche Einstellung (z.B. blau).