diff options
| author | Yehoshua Pesach Wallach <yehoshuapw@gmail.com> | 2022-04-19 14:41:17 +0300 |
|---|---|---|
| committer | JF <JF002@users.noreply.github.com> | 2022-05-10 22:20:02 +0200 |
| commit | ac0dc5ff4790f83c972387c3ef4d7e55611643ce (patch) | |
| tree | 2c8e36efd086fcf7b09516b143d7a09ffe0d0fa5 /src/displayapp | |
| parent | 875b9c4bc5c05ff5e850db7159814b46b467df18 (diff) | |
fontgen: added missing requested font check
Diffstat (limited to 'src/displayapp')
| -rw-r--r-- | src/displayapp/fonts/generate.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/displayapp/fonts/generate.py b/src/displayapp/fonts/generate.py index e142db48..380ff3d4 100644 --- a/src/displayapp/fonts/generate.py +++ b/src/displayapp/fonts/generate.py @@ -56,6 +56,12 @@ def main(): else: sys.exit(f'requested to remove .c extension, but {font} does not have it.') + if fonts_to_run: + d = set(fonts_to_run).difference(data['fonts'].keys()) + if d: + print(f'Warning: requested font{"s" if len(d)>1 else ""} missing: {" ".join(d)}') + fonts_to_run = list(set(fonts_to_run).intersection(data['fonts'].keys())) + for (name,font) in data['fonts'].items(): if fonts_to_run and name not in fonts_to_run: continue |