fonts/nerd-fonts
1
0
Fork 0
mirror of https://github.com/ryanoasis/nerd-fonts.git synced 2025-01-13 03:03:33 +02:00
Code Issues Releases Activity

Updates some logging

Browse Source
This commit is contained in:
Ryan L McIntyre 2018-02-25 21:51:58 -05:00
parent 5007170cf9
commit 26ea118d77
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
font-patcher
View File

@ -163,11 +163,10 @@ if args.configfile and config.read(args.configfile):
print("Successfully removed subtable:", subtable)
except Exception:
print("Failed to remove subtable:", subtable)
elif args.removeligatures:
print("Unable to read configfile, unable to remove ligatures")
else:
print("Unable to read configfile, skipping configfile related actions")
print("No configfile given, skipping configfile related actions")
# basically split the font name around the dash "-" to get the fontname and the style (e.g. Bold)
# this does not seem very reliable so only use the style here as a fallback if the font does not