Saya sudah bisa mengubah font default Grub, dengan menggunakan
grub-mkfont -s 16 -o /boot/grub/grubfont.pf2 font.tty
dan kemudian menambahkan baris berikut ke / etc / default / grub:
GRUB_FONT=/boot/grub/grubfont.pf2
Dan tentu saja
sudo update-grub
Dan font baru memang muncul dan semuanya (ingat untuk memilih font monospace). Namun , karakter "kotak" (di sekitar entri) tidak pernah ditampilkan dengan benar. Saya kira sebagian besar font tidak memiliki set karakter itu. Apakah saya bisa menambahkan karakter ini? Mungkin bahkan menyalinnya dari font unicode.pf2 default? Jika ini tidak benar-benar mungkin, apakah Anda tahu ada font yang punya karakter ini?
Memperbarui:
Saya telah mencoba banyak hal yang berbeda, seperti mengkonversi dari ttf ke bdf dan kemudian ke pf2, dan saya telah mencoba mengubah hanya karakter ascii dengan opsi --range=0x0-0x7f, tetapi tidak satupun dari mereka yang membuatnya bekerja dengan sempurna. Saya merasa itu karena saya menghasilkan font yang lebih besar dari default, dan karena itu mesin terbang default tidak dapat digunakan.
Saya akan mencoba melihat apakah saya dapat membuatnya bekerja dengan ukuran font yang lebih kecil, meskipun ini adalah salah satu alasan saya ingin mengubah font.
