Convertisseur INI ↔ JSON
Convertit les fichiers INI en JSON et inversement.
Présentation
Un convertisseur bidirectionnel entre l’INI — le format de configuration
classique [section] / clé=valeur utilisé par PHP, Git, systemd et
d’innombrables applications héritées — et le JSON. Les sections deviennent des
objets imbriqués ; les clés situées avant la première section restent au niveau
supérieur. Utile pour migrer d’anciennes configurations vers un outillage fondé
sur JSON, ou pour générer un fichier INI depuis des données structurées.
Utilisation
- Choisissez un sens avec les onglets INI → JSON / JSON → INI.
- Collez votre saisie dans la zone de texte (intitulée INI ou JSON selon le sens).
- Lisez le résultat converti dans la zone Output — elle se met à jour au fil de la saisie.
Exemples
[server]+host=localhost+port=8080→{"server":{"host":"localhost","port":8080}}{"debug":true,"db":{"name":"app"}}→debug=truesuivi de[db]/name=app
Remarques
La détection de type est heuristique : une valeur comme 1.0 devient le nombre
1, et une valeur d’apparence numérique telle qu’un code postal ne peut pas
rester une chaîne. Les commentaires sont supprimés à la conversion : conservez le
fichier d’origine si les annotations comptent.