0001-misc-turn-themes.json-into-a-dictionary-34026.patch
create_themes_json.py | ||
---|---|---|
1 |
#! /usr/bin/env python |
|
1 |
#! /usr/bin/env python3
|
|
2 | 2 | |
3 | 3 |
import argparse |
4 | 4 |
import json |
... | ... | |
29 | 29 |
themes.append(theme) |
30 | 30 | |
31 | 31 |
with open('themes.json', 'w') as fd: |
32 |
json.dump(themes, fd, indent=2, sort_keys=True) |
|
32 |
json.dump({'themes': themes}, fd, indent=2, sort_keys=True) |
|
33 |
- |