Apparence
Uubu.fr

Les systèmes Linux, l’open source, les réseaux, l’interopérabilité, etc.
« Il vaut mieux viser la perfection et la manquer que viser l’imperfection et l’atteindre. » (Bertrand Arthur William RUSSEL)
12 March 2016

htmlpdflatexmanmd

grub Linux boot           initialisation du système


grub-mkfont

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