diff options
author | Yehoshua Pesach Wallach <yehoshuapw@gmail.com> | 2022-04-19 14:57:26 +0300 |
---|---|---|
committer | JF <JF002@users.noreply.github.com> | 2022-05-10 22:20:02 +0200 |
commit | 451d755e3d8329cbb5a6de766468e712239c4f02 (patch) | |
tree | cf3ec1cd1e7a12783aaa0f6152e116d042a24096 | |
parent | 9535c1e651175ca9a3eeef35f463b212e536ded8 (diff) |
fontgen: removed ability of removing .c ext
-rw-r--r-- | src/displayapp/fonts/generate.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/displayapp/fonts/generate.py b/src/displayapp/fonts/generate.py index d0ae8dee..c9768a74 100644 --- a/src/displayapp/fonts/generate.py +++ b/src/displayapp/fonts/generate.py @@ -33,7 +33,6 @@ def main(): ap.add_argument('config', type=str, help='config file to use') ap.add_argument('-e', '--enable', type=str, action='append', help='optional feature to enable in font generation', default=[], metavar='features', dest='features') ap.add_argument('-f', '--font', type=str, action='append', help='Choose specific fonts to generate (default: all)', default=[]) - ap.add_argument('-c', '--removec', action='store_true', help='remove .c extension from font names (given in -f options)', default=False) args = ap.parse_args() if not os.path.exists(args.config): @@ -44,13 +43,6 @@ def main(): data = json.load(fd) fonts_to_run = args.font - if args.removec and args.font: - fonts_to_run = [] - for font in args.font: - if font.endswith('.c'): - fonts_to_run.append(font[:-2]) - 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()) |