1
0
Fork 0

Custom keycodes in JSON (#19925)

This commit is contained in:
Joel Challis 2023-03-27 20:01:07 +01:00 committed by GitHub
parent e35bb8ebfa
commit 79b0f9168e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 129 additions and 13 deletions

View file

@ -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)