From cef6e9c4ae8e32bc7da047ffb6c348683acfe77b Mon Sep 17 00:00:00 2001 From: Zsolt Ero Date: Wed, 27 Dec 2023 22:06:08 +0100 Subject: [PATCH] remove keys --- scripts/styles/lint_styles/lint_styles.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/scripts/styles/lint_styles/lint_styles.py b/scripts/styles/lint_styles/lint_styles.py index 32f5b18..b0839ca 100755 --- a/scripts/styles/lint_styles/lint_styles.py +++ b/scripts/styles/lint_styles/lint_styles.py @@ -35,6 +35,8 @@ def cli(styles_folder): print(f'formatting {style_file}') + remove_keys(style_file) + # gl-style-migrate p = subprocess.run( [node_bin_path / 'gl-style-migrate', style_file], capture_output=True, text=True @@ -64,5 +66,16 @@ def cli(styles_folder): ) +def remove_keys(style_file): + with open(style_file) as fp: + data = json.load(fp) + + for key in ['id', 'center', 'zoom', 'bearing', 'pitch']: + data.pop(key, None) + + with open(style_file, 'w') as fp: + json.dump(data, fp, ensure_ascii=False) + + if __name__ == '__main__': cli()