misc: turn themes.json into a dictionary (#34026)

2019-06-16 20:26:10 +02:00 · 2019-06-16 20:26:10 +02:00 · db81481f76
parent b5959701f4
commit db81481f76
1 changed files with 2 additions and 2 deletions
--- a/create_themes_json.py
+++ b/create_themes_json.py
@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python3

 import argparse
 import json
@ -29,4 +29,4 @@ for dirname in sorted(os.listdir('static')):
    themes.append(theme)

 with open('themes.json', 'w') as fd:
-    json.dump(themes, fd, indent=2, sort_keys=True)
+    json.dump({'themes': themes}, fd, indent=2, sort_keys=True)