diff options
| author | Robert Günzler <r@gnzler.io> | 2023-07-08 04:56:15 +0900 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2023-07-08 04:56:15 +0900 |
| commit | 1a220f1578ce0e18cffff97ae8ba68d6a4dfea4d (patch) | |
| tree | b29a95e5661a37d698bc31448cd8c3933052d0d4 /.config/flavours/change_font.sh | |
| parent | 06d77d2ba07e6191792a546d7fe15683cc026578 (diff) | |
flavours: control font setting centrally
Signed-off-by: Robert Günzler <r@gnzler.io>
Diffstat (limited to '.config/flavours/change_font.sh')
| -rw-r--r-- | .config/flavours/change_font.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.config/flavours/change_font.sh b/.config/flavours/change_font.sh new file mode 100644 index 0000000..42781eb --- /dev/null +++ b/.config/flavours/change_font.sh @@ -0,0 +1,8 @@ +#!/bin/sh +set -ex + +UIFONT="Iosevka Etoile" +MONOFONT="DejaVu Sans Mono" + +fd 'hibiki.mustache.in' \ + -x sh -c "sed -e 's,@uifont@,$UIFONT,g' -e 's,@monofont@,$MONOFONT,g' {} >{.}" |