From 935b94d80b4456c0c9e50526af2c9f441b846949 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Fri, 24 Jan 2020 14:34:25 +0100 Subject: [PATCH] Sort output of export.py script --- util/export.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/util/export.py b/util/export.py index e8fc4d84ea4..5d1bd60acf3 100755 --- 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")