Adding --report-json option

2026-10-17 05:07:28 +08:00 · 2026-06-15 15:35:33 +02:00
parent 948d01d57a
commit 17e94c3409
13 changed files with 581 additions and 69 deletions
@@ -727,6 +727,9 @@ def cmdLineParser(argv=None):
        general.add_argument("--repair", dest="repair", action="store_true",
            help="Redump entries having unknown character marker (%s)" % INFERENCE_UNKNOWN_CHAR)

+        general.add_argument("--report-json", dest="reportJson",
+            help="Store run results to a JSON file")
+
        general.add_argument("--save", dest="saveConfig",
            help="Save options to a configuration INI file")