mirror of
https://github.com/NixOS/nixos-artwork
synced 2024-10-18 00:06:24 -04:00
19 lines
353 B
Bash
19 lines
353 B
Bash
|
#!/usr/bin/env nix-shell
|
||
|
#!nix-shell -p grub2_efi -p dejavu_fonts -i bash
|
||
|
|
||
|
# This script can be used to (dirtily) build fonts for grub2.
|
||
|
# This script assumes only DejaVu, and only one size.
|
||
|
|
||
|
set -e
|
||
|
set -u
|
||
|
PS4=" $ "
|
||
|
set -x
|
||
|
|
||
|
DEJA=
|
||
|
|
||
|
for p in $buildInputs; do
|
||
|
DEJA="$p"
|
||
|
done
|
||
|
|
||
|
grub-mkfont -s 20 "$DEJA/share/fonts/truetype/DejaVuSans.ttf" -o dejavu_20.pf2
|