diff options
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] |