Fini Jastrow 95cae8fd81 Drop "Complete" from font names ...

[why]
Nowadays the Complete font is the normal font. We already dropped the
partially patched fonts long ago. If someone is self patching they will
know if it is a basic font or a complete font.

And already now one can not see if the patched font is bare minimum
(i.e. Seti, Custom, and Devi) or includes Powerline and/or
PowerlineExtra.

[how]
Just drop "Complete" from the naming.

[note]
As the name changes and thus the file name a lot of the other scripts
will break. But they might break anyhow because other naming changes, so
fix that as last commit.

See also commit
  557fc004c  Attempt to fix duplicate fonts in fontbook on osx

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

2023-04-14 08:01:12 +02:00

..

ISSUE_TEMPLATE

Update bug_report.md

2022-12-21 17:18:33 +01:00

workflows

Drop "Complete" from font names

2023-04-14 08:01:12 +02:00

PULL_REQUEST_TEMPLATE.md

Remove mentions of master branch [skip ci]

2022-10-17 11:50:53 +02:00