grub Linux boot initialisation du système
grub-mkfont
Créé des fichiers de font GRUB au format PF2
OPTIONS
-a, --force-autohint Force l'autohint-b, --bold Convertit la font en gras
-c, --asce=NUM set font ascent
-d, --desc=NUM et font descent
-i, --index=NUM Select face index
-n, --name=NAME Définis le nom de la famille de font
--no-bitmap Ignore les bitmaps strikes au chargement
--no-hinting Désactive le hinting
-o, --output=FILE Sauve la sortie dans le fichier
-r, --range=FROM-TO[,FROM-TO] Plage de font
-s, --size=SIZE Taille de font