Sort output of export.py script

2020-01-24 14:34:25 +01:00 · 2020-01-24 14:34:25 +01:00 · 935b94d80b
parent e59361f723
commit 935b94d80b
1 changed files with 3 additions and 1 deletions
--- a/util/export.py
+++ b/util/export.py
@ -71,7 +71,9 @@ def main():

    outfile = sys.argv[1] if len(sys.argv) > 1 else "util/gh-pages/lints.json"
    with open(outfile, "w") as fp:
-        json.dump(list(lints.values()), fp, indent=2)
+        lints = list(lints.values())
+        lints.sort(key=lambda x: x['id'])
+        json.dump(lints, fp, indent=2)
        log.info("wrote JSON for great justice")