Sono stato in grado di cambiare il carattere predefinito di Grub, usando
grub-mkfont -s 16 -o /boot/grub/grubfont.pf2 font.tty
e quindi aggiungendo la seguente riga a / etc / default / grub:
GRUB_FONT=/boot/grub/grubfont.pf2
E naturalmente
sudo update-grub
E il nuovo carattere è apparso e tutto (ricordati di scegliere un carattere a spaziatura fissa). Tuttavia , i caratteri "box" (attorno alle voci) non vengono mai visualizzati correttamente. Immagino che la maggior parte dei caratteri semplicemente non abbia quel set di caratteri. C'è un modo in cui posso aggiungere questi personaggi? Forse anche copiarli dal carattere unicode.pf2 predefinito? Se questo non è davvero possibile, conosci qualche carattere che ha questi personaggi?
Aggiornare:
Ho provato molte cose diverse, come la conversione da ttf a bdf e poi a pf2, e ho provato a convertire solo i caratteri ASCII con l'opzione --range=0x0-0x7f
, ma nessuno di loro sembrava farlo funzionare perfettamente. Ho la sensazione che sia perché sto generando un carattere più grande di quello predefinito e quindi i glifi predefiniti non possono essere utilizzati.
Proverò a vedere se riesco a farlo funzionare con una dimensione del carattere più piccola, anche se questo è stato uno dei motivi per cui volevo cambiare il carattere.