From 56ad0d23147fcee2a8e4ca5e8b7eed63e01d2455 Mon Sep 17 00:00:00 2001 From: Robin Schneider Date: Wed, 6 Jan 2021 00:10:03 +0100 Subject: [PATCH] [scripts/config] Sort remove_paths and remove_groups To have a definitive order for them. --- scripts/config | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/config b/scripts/config index 03201ca..bf873f3 100755 --- a/scripts/config +++ b/scripts/config @@ -123,5 +123,10 @@ if __name__ == "__main__": config['datetime'] = int(time.time()) + if 'remove_paths' in config['platform']: + config['platform']['remove_paths'] = sorted(config['platform']['remove_paths']) + if 'remove_groups' in config['platform']: + config['platform']['remove_groups'] = sorted(config['platform']['remove_groups']) + with open(config_file, 'w') as outfile: yaml.dump(config, outfile, default_flow_style=False)