diff options
| author | lovetox <philipp@hoerist.com> | 2022-01-22 23:00:07 +0300 |
|---|---|---|
| committer | lovetox <philipp@hoerist.com> | 2022-01-22 23:00:07 +0300 |
| commit | 2619ededd505b5b10cb90bc6000b7b7e17feefc9 (patch) | |
| tree | 4ee497a80e4684b2b0bf4f606c642ed35ee0fd23 /scripts | |
| parent | a16cc047c460ceefebed16080a6cde42b52eb150 (diff) | |
Scripts: Sort paths before generating ui types
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dev/generate_ui_types.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev/generate_ui_types.py b/scripts/dev/generate_ui_types.py index 7b82925fa..12aed7f82 100755 --- a/scripts/dev/generate_ui_types.py +++ b/scripts/dev/generate_ui_types.py @@ -16,6 +16,7 @@ in_path = cwd / 'gajim' / 'data' / 'gui' out_path = cwd / 'gajim' / 'gtk' / 'builder.pyi' paths = list(in_path.iterdir()) +paths.sort() IMPORTS = ''' from typing import Literal |