Custom keycodes in JSON

2026-07-11 03:17:28 -04:00 · 2023-02-23 23:02:38 +00:00
parent 6498acd2d3
commit 2731667ff4
12 changed files with 149 additions and 35 deletions
@@ -67,6 +67,12 @@ def _filtered_copy(src, dst):
        dst.write_text(json.dumps(data), encoding='utf-8')
        return dst

+    if dst.suffix == '.jsonschema':
+        data = json_load(src)
+
+        dst.write_text(json.dumps(data), encoding='utf-8')
+        return dst
+
    return shutil.copy2(src, dst)