linux/nerd-fonts
0
0
Fork 0
mirror of https://github.com/ryanoasis/nerd-fonts.git synced 2024-09-19 09:51:48 +02:00
Code Issues Projects Releases Wiki Activity

Rebuilds patched fonts

Browse source 
[why]
We do not want to rebuild all fonts, just the affected ones.
Without a proper release timestamp this is impossible (i.e. harder) to
do via CI, so do it manually 😬

[how]
./gotta-patch-em-all-font-patcher\!.sh /JetBrainsMono/Ligatures/ExtraLight
./gotta-patch-em-all-font-patcher\!.sh /JetBrainsMono/Ligatures/Light

Hmm, the patched fonts got slightly smaller. These font file sizes are a
mystery for me.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
This commit is contained in:
Fini Jastrow 2022-10-12 08:45:27 +02:00 committed by Fini
parent a72f9961dd
commit de06ddfcbc
8 changed files with 0 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files