Temi grub
Il problema potrebbe essere stato causato da un bug di personalizzazione di grub. Un'alternativa al grub customizer (un programma di terze parti) è usare grub-themes che è standard in ogni installazione di Ubuntu:
Crea font Grub
Anche se stai usando semplicemente grub, se vuoi un font diverso devi grub-mkfont
prima usare il programma. Lo stesso vale per Grub Customizer utilizzato da OP e Grub Themes utilizzati nella prima sezione di questa risposta.
Ecco i caratteri che ho creato per usare 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*
Per creare un font usa il grub-mkfont
programma come indicato nella guida: Aumenta font in GRUB per schermi DPI alti :
sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 \
--size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
Quindi nel tuo /etc/default/grub
file di configurazione digli di usare il nuovo .pf2
file di font:
# 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
Esegui infine:
sudo update-grub
Rispondi al commento : i temi di Grub sono integrati in grub, quindi usa:
$ 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