diff options
author | Yehoshua Pesach Wallach <yehoshuapw@gmail.com> | 2022-04-19 18:05:03 +0300 |
---|---|---|
committer | JF <JF002@users.noreply.github.com> | 2022-05-10 22:20:02 +0200 |
commit | a75912dd978e7ed7d35f49b59b97d3c2e5e0e5e4 (patch) | |
tree | 8503aca82fc79548f3a69413c9ad85c4a6e82e42 /src/displayapp/fonts/generate.py | |
parent | 1d4fd9c27fdb87f27acdea8d61b8d841f4339b5c (diff) |
fontgen: remove .c from requested font if there
Diffstat (limited to 'src/displayapp/fonts/generate.py')
-rw-r--r-- | src/displayapp/fonts/generate.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/displayapp/fonts/generate.py b/src/displayapp/fonts/generate.py index 994464f9..a6853696 100644 --- a/src/displayapp/fonts/generate.py +++ b/src/displayapp/fonts/generate.py @@ -45,10 +45,13 @@ def main(): fonts_to_run = set(data['fonts'].keys()) if args.font: - d = set(args.font).difference(fonts_to_run) + enabled_fonts = set() + for font in args.font: + enabled_fonts.add(font[:-2] if font.endswith('.c') else font) + d = enabled_fonts.difference(fonts_to_run) if d: print(f'Warning: requested font{"s" if len(d)>1 else ""} missing: {" ".join(d)}') - fonts_to_run = fonts_to_run.intersection(set(args.font)) + fonts_to_run = fonts_to_run.intersection(enabled_fonts) for name in fonts_to_run: font = data['fonts'][name] |