From 8872ccf2e23fbf13829c166fc8a6a2d5e4eaa071 Mon Sep 17 00:00:00 2001
From: Micke Nordin <kano@sunet.se>
Date: Fri, 12 Aug 2022 11:23:19 +0200
Subject: [PATCH] This is a small utility that converts ini-files to json

---
 scripts/ini2json.py | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 scripts/ini2json.py

diff --git a/scripts/ini2json.py b/scripts/ini2json.py
new file mode 100644
index 0000000..284f3be
--- /dev/null
+++ b/scripts/ini2json.py
@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+import configparser
+import sys
+import json
+
+config = configparser.ConfigParser()
+str_conf = ""
+for line in sys.stdin.read().splitlines(keepends=True):
+    if not (line.startswith("-") or line.startswith("#")):
+        str_conf += line
+
+config.read_string(str_conf)
+dictionary = {}
+for section in config.sections():
+    dictionary[section] = {}
+    for option in config.options(section):
+        dictionary[section][option] = config.get(section, option)
+print(json.dumps(dictionary))