Convertidor INI ↔ JSON
Convierte archivos INI a JSON y viceversa.
Descripción general
Un conversor bidireccional entre INI — el clásico formato de configuración
[section] / clave=valor que usan PHP, Git, systemd y un sinfín de aplicaciones
heredadas — y JSON. Las secciones pasan a ser objetos anidados; las claves que
están antes de la primera sección se quedan en el nivel superior. Útil para
migrar configuraciones antiguas a herramientas basadas en JSON o para generar un
archivo INI a partir de datos estructurados.
Cómo se usa
- Elige un sentido con las pestañas INI → JSON / JSON → INI.
- Pega tu entrada en el área de texto (etiquetada INI o JSON según el sentido).
- Lee el resultado convertido en el área Output: se actualiza a medida que escribes.
Ejemplos
[server]+host=localhost+port=8080→{"server":{"host":"localhost","port":8080}}{"debug":true,"db":{"name":"app"}}→debug=trueseguido de[db]/name=app
Notas
La detección de tipos es heurística: un valor como 1.0 pasa a ser el número 1,
y un valor de aspecto numérico como un código postal no puede seguir siendo una
cadena. Los comentarios se descartan en la conversión, así que conserva el archivo
original si las anotaciones importan.