Thèmes Grub
Le problème peut être dû à un bogue du personnalisateur grub. Une alternative à grub customizer (un programme tiers) est d'utiliser grub-themes qui est fourni en standard sur chaque installation d'Ubuntu:
Créer des polices Grub
Même si vous utilisez simplement grub, si vous voulez une police différente, vous devez d'abord utiliser le grub-mkfont
programme. Il en va de même pour Grub Customizer utilisé par OP et Grub Themes utilisés dans la première section de cette réponse.
Voici les polices que j'ai créées pour grub:
$ ll /usr/share/grub/themes/Tuxkiller2/*.pf2
-rwxrwx--- 1 root root 176923 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/dejavu_14.pf2*
-rwxrwx--- 1 root root 20041 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_17.pf2*
-rwxrwx--- 1 root root 23339 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_20.pf2*
-rwxrwx--- 1 root root 31498 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_26.pf2*
-rwxrwx--- 1 root root 15244 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_regular_12.pf2*
-rwxrwx--- 1 root root 19148 Jun 9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_regular_17.pf2*
-rwxrwx--- 1 root root 113623 Jul 11 17:05 /usr/share/grub/themes/Tuxkiller2/ubuntu_bold_italic_36.pf2*
-rwxrwx--- 1 root root 45391 Jul 11 17:08 /usr/share/grub/themes/Tuxkiller2/ubuntu_light_20.pf2*
-rwxrwx--- 1 root root 41020 Jul 11 17:16 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_18.pf2*
-rwxrwx--- 1 root root 46423 Jul 11 17:16 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_20.pf2*
-rwxrwx--- 1 root root 68602 Jul 11 16:59 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_28.pf2*
Pour créer une police, utilisez le grub-mkfont
programme tel que décrit dans ce guide: Augmentez la police dans GRUB pour les écrans haute résolution :
sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 \
--size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
Ensuite, dans votre /etc/default/grub
fichier de configuration, dites-lui d'utiliser le nouveau .pf2
fichier de police:
# More readable font on high dpi screen, generated with
# sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 \
# --size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
GRUB_FONT=/boot/grub/fonts/DejaVuSansMono24.pf2
Enfin exécutez:
sudo update-grub
Répondre au commentaire : les thèmes Grub sont intégrés à grub, utilisez donc:
$ apt policy grub2-common
grub2-common:
Installed: 2.02~beta2-36ubuntu3.18
Candidate: 2.02~beta2-36ubuntu3.18
Version table:
*** 2.02~beta2-36ubuntu3.18 500
500 http://ca.archive.ubuntu.com/ubuntu xenial-updates/main amd64 Packages
100 /var/lib/dpkg/status
2.02~beta2-36ubuntu3 500
500 http://ca.archive.ubuntu.com/ubuntu xenial/main amd64 Packages