Projet

Général

Profil

0001-misc-turn-themes.json-into-a-dictionary-34026.patch

Frédéric Péters, 16 juin 2019 20:27

Télécharger (842 octets)

Voir les différences:

Subject: [PATCH] misc: turn themes.json into a dictionary (#34026)

 create_themes_json.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
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
-