diff options
| author | hachem <im@hachem.wtf> | 2026-10-10 15:57:52 +0200 |
|---|---|---|
| committer | hachem <im@hachem.wtf> | 2026-10-10 15:57:52 +0200 |
| commit | 88750ed7132c08bcfb24e878c893ef7185c3c0b0 (patch) | |
| tree | 6274d4918c82ee0c8c9c258ff8d9d3340b0b28e6 /tools/subset-ttf.sh | |
| parent | cc8768d33a6ff6cc64306d01679a10c3a1847736 (diff) | |
chore: rewrite tools in revo
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" |