[scripts/config] Sort remove_paths and remove_groups

To have a definitive order for them.
hashbang · Feb 9, 2021 · 56ad0d2 · 56ad0d2
1 parent 9641d4c
commit 56ad0d2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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)