GRUB 2 - Aumentar tamanho da fonte no menu de inicialização.

Monitores de alta definição (HiDPI) exigem uma fonte maior no menu de inicialização do Grub. Para isso:



- No terminal, execute o comando

sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 --size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf

- Acrescente a linha abaixo no arquivo /etc/default/grub

GRUB_FONT=/boot/grub/fonts/DejaVuSansMono24.pf2

- Atualize o Grub

sudo update-grub