He podido cambiar la fuente predeterminada de Grub, usando
grub-mkfont -s 16 -o /boot/grub/grubfont.pf2 font.tty
y luego agregando la siguiente línea a / etc / default / grub:
GRUB_FONT=/boot/grub/grubfont.pf2
Y por supuesto
sudo update-grub
Y la nueva fuente apareció y todo (recuerde elegir una fuente monoespaciada). Pero , los caracteres de "cuadro" (alrededor de las entradas) nunca se muestran correctamente. Supongo que la mayoría de las fuentes simplemente no tienen ese conjunto de caracteres. ¿Hay alguna manera de agregar estos caracteres? ¿Quizás incluso copiarlos de la fuente predeterminada unicode.pf2? Si esto no es realmente posible, ¿conoce alguna fuente que tenga estos caracteres?
Actualizar:
He intentado muchas cosas diferentes, como convertir de ttf a bdf y luego a pf2, y he intentado convertir solo los caracteres ascii con la opción --range=0x0-0x7f
, pero ninguno de ellos parecía hacer que funcionara perfectamente. Tengo la sensación de que es porque estoy generando una fuente más grande que la predeterminada y, por lo tanto, los glifos predeterminados no se pueden usar.
Intentaré ver si puedo hacer que funcione con un tamaño de fuente más pequeño, aunque esta fue una de las razones por las que quería cambiar la fuente.