Add script to merge official and community (to be used at the moment we decide to switch to apps.json only)
This commit is contained in:
parent
4c96810559
commit
00caac4bf0
9
merge_official_and_community.py
Normal file
9
merge_official_and_community.py
Normal file
@ -0,0 +1,9 @@
|
||||
import json
|
||||
|
||||
community = json.loads(open("community.json").read())
|
||||
official = json.loads(open("official.json").read())
|
||||
|
||||
merged = community
|
||||
merged.update(official)
|
||||
|
||||
open("apps.json", "w").write(json.dumps(merged, sort_keys=True, indent=4, separators=(',', ': ')))
|
Loading…
Reference in New Issue
Block a user