diff options
Diffstat (limited to 'tools/subset-ttf.sh')
| -rwxr-xr-x | tools/subset-ttf.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/subset-ttf.sh b/tools/subset-ttf.sh deleted file mode 100755 index 70cffa2..0000000 --- a/tools/subset-ttf.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -# trim the ttf into a subset (U+0020..007E), its just to embed fonts that are actually -# rendered, since we have NERD fonts and shit, they can be quite large - -set -e -IN="$1" -OUT="$2" -python3 -m fontTools.subset "$IN" \ - --unicodes=U+0020-007E \ - --no-hinting --glyph-names \ - --output-file="$OUT" -echo "wrote $OUT" |