Acabei de ser atualizado à força para o Grub 2, e estou tendo problemas porque as fontes no menu GRUB são feias e pequenas. Eu defini com sucesso a resolução da tela com
GRUB_GFXMODE=1920x1200x32
no meu arquivo /etc/grub/default , e tentei definir a fonte com
GRUB_FONT=/boot/grub/DejaVuSansMono48.pf2
onde criei a fonte em questão usando grub-mkfont .
A resolução nativa funciona muito bem, mas infelizmente a fonte não funciona. Eu estou pensando talvez isso afeta a fonte que é usada uma vez que o sistema operacional inicializa, mas definitivamente não afeta a fonte no menu de inicialização do GRUB.
Como posso obter uma fonte maior no menu de inicialização do GRUB?