diff options
author | lovetox <philipp@hoerist.com> | 2022-01-30 18:00:35 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2022-02-01 01:28:42 +0300 |
commit | 7b758a6fac3e4ef505228c95ddcd85aa51f9173e (patch) | |
tree | 369dc56b8994d57b8eb94d42e42eb1489fed2dfb /scripts | |
parent | e70f1eca81b1a0a90f26958f41b3b7ad4a3c25fe (diff) |
Scripts: Ignore temporary files
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/generate_ui_types.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/dev/generate_ui_types.py b/scripts/dev/generate_ui_types.py index 12aed7f82..2e770e9fb 100755 --- a/scripts/dev/generate_ui_types.py +++ b/scripts/dev/generate_ui_types.py @@ -85,6 +85,9 @@ with out_path.open(mode='w') as file: for path in paths: if path.name.endswith('~'): continue + + if path.name.startswith('#'): + continue name = parse(path, file) builder_names.append((name, path.name)) |