La taille de la police GRUB peut-elle être personnalisée?

Je voudrais réduire la taille de la police du chargeur de démarrage GRUB. Est-ce possible et alors comment?

Après quelques searchs basées sur les réponses de @fpmurphy et @hesse, basées sur un thread complet sur ubuntuforums et sur Fedora Wiki , j'ai découvert comment réduire la taille de la police de GRUB2.

  1. Choisissez une police, dans cet exemple, j'ai choisi DejaVuSansMono.ttf
  2. Convertir la police dans un format GRUB comprend:
    sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
  3. Editez le file / etc / default / grub en ajoutant une ligne:
    GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
  4. Mettre à jour la configuration GRUB avec:
    sudo grub2-mkconfig -o /boot/grub2/grub.cfg
  5. redémarrer.

La résolution de l'affichage GRUB peut également affecter la taille de la police, plus sur la résolution, etc. sur le lien ubuntuforums ci-dessus.

Oui, la police et la taille de la police peuvent être personnalisées. Voir l'utilitaire grub-mkfont. Les fonts Bitmap (.pf2) et Truetype (.ttf) sont sockets en charge.

Il suffit de faire une search sur Internet sur grub-mkfont et vous verrez rapidement un certain nombre d'exemples des étapes nécessaires.

Dans Debian / Ubuntu, vous pouvez modifier la résolution par défaut de GRUB, ce qui se traduit par des fonts plus grandes dans le menu GRUB:

  1. sudo cp -a / etc / default / grub /etc/default/grub.bak
  2. sudo vi / etc / default / grub
  3. Modifiez l'input "GRUB_GFXMODE" en fonction de votre résolution par exemple 800×600
  4. sudo grub-update
  5. Redémarrer – le GRUB s'affichera dans le mode défini par exemple 800×600