From 9933155a2e8d8e2f3dc7280d909c6851b16ba863 Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Tue, 11 Oct 2022 11:45:26 +0200 Subject: [PATCH] [fix] update_osm_keys_tags.py: sort JSON dump To get meaningful diff, the keys in JSON dump needs to be sorted. Signed-off-by: Markus Heiser --- searxng_extra/update/update_osm_keys_tags.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/searxng_extra/update/update_osm_keys_tags.py b/searxng_extra/update/update_osm_keys_tags.py index 1d691c194..72197498d 100755 --- a/searxng_extra/update/update_osm_keys_tags.py +++ b/searxng_extra/update/update_osm_keys_tags.py @@ -215,4 +215,4 @@ if __name__ == '__main__': 'tags': optimize_tags(get_tags()), } with open(get_osm_tags_filename(), 'w', encoding="utf8") as f: - json.dump(result, f, indent=4, ensure_ascii=False) + json.dump(result, f, indent=4, ensure_ascii=False, sort_keys=True)