Consegui alterar a fonte padrão do Grub, usando
grub-mkfont -s 16 -o /boot/grub/grubfont.pf2 font.tty
e adicionando a seguinte linha ao / etc / default / grub:
GRUB_FONT=/boot/grub/grubfont.pf2
E claro
sudo update-grub
E a nova fonte apareceu e tudo mais (lembre-se de escolher uma fonte monoespaçada). Mas , os caracteres "caixa" (ao redor das entradas) nunca são exibidos corretamente. Eu acho que a maioria das fontes simplesmente não tem esse conjunto de caracteres. Existe alguma maneira de adicionar esses caracteres? Talvez até copie-os da fonte unicode.pf2 padrão? Se isso não for realmente possível, você conhece alguma fonte que tenha esses caracteres?
Atualizar:
Eu tentei muitas coisas diferentes, como converter de ttf para bdf e depois para pf2, e tentei converter apenas os caracteres ascii com a opção --range=0x0-0x7f
, mas nenhum deles parecia fazê-lo funcionar perfeitamente. Sinto que é porque estou gerando uma fonte maior que a padrão e, portanto, os glifos padrão não podem ser usados.
Vou tentar ver se consigo fazê-lo funcionar com um tamanho de fonte menor, embora esse fosse um dos motivos pelos quais desejei alterar a fonte.