Convertisseur INI ↔ JSON
Fichiers INI vers JSON et retour.
Tout se passe dans votre navigateur. Rien n’est envoyé nulle part.
Comment ça marche
- 1Collez ou saisissez votre texte.
- 2Choisissez les options nécessaires.
- 3Copiez ou téléchargez le résultat.
À propos de cet outil
Convertisseur INI ↔ JSON : Fichiers INI vers JSON et retour. Collez votre texte et le résultat apparaît immédiatement, prêt à copier ou télécharger. Tout se passe dans votre navigateur — rien n’est envoyé ni stocké.
Exemple
Entrée
; app settings name = Tapwerk debug = false [database] host = localhost port = 5432 user = "admin" [paths] logs[] = /var/log/app logs[] = /tmp/app
Sortie
{
"name": "Tapwerk",
"debug": false,
"database": {
"host": "localhost",
"port": 5432,
"user": "admin"
},
"paths": {
"logs": [
"/var/log/app",
"/tmp/app"
]
}
}
Comment utiliser l’outil « Convertisseur INI ↔ JSON » ?
Collez ou saisissez votre texte. Choisissez les options nécessaires. Copiez ou téléchargez le résultat.
L’outil « Convertisseur INI ↔ JSON » est-il gratuit ?
Oui. Il est entièrement gratuit, sans inscription, sans limite d’utilisation et sans filigrane.
Mes données sont-elles envoyées à un serveur ?
Non. Tout est calculé localement dans votre navigateur. Rien de ce que vous saisissez n’est envoyé, journalisé ni stocké.
Est-ce que ça marche sur mobile ?
Oui. Il fonctionne dans tout navigateur récent sur Android, iPhone, iPad, Windows, Mac et Linux — sans application.