を使用して、Grubのデフォルトのフォントを変更することができました
grub-mkfont -s 16 -o /boot/grub/grubfont.pf2 font.tty
そして、次の行を/ etc / default / grubに追加します。
GRUB_FONT=/boot/grub/grubfont.pf2
そしてもちろん
sudo update-grub
そして、新しいフォントが表示され、すべてが表示されました(等幅フォントを選択したことを忘れないでください)。ただし、「ボックス」文字(エントリの周囲)は正しく表示されません。ほとんどのフォントには、単にその文字セットがないと思います。これらのキャラクターを追加する方法はありますか?たぶん、デフォルトのunicode.pf2フォントからそれらをコピーしますか?これが本当に不可能な場合、これらの文字を持っているフォントを知っていますか?
更新:
ttfからbdfに変換してからpf2に変換するなど、さまざまなことを試しましたが、オプション--range=0x0-0x7f
でASCII文字のみを変換しようとしましたが、どれも完璧に動作するようには見えませんでした。デフォルトより大きなフォントを生成しているため、デフォルトのグリフを使用できないためだと感じています。
これはフォントを変更したかった理由の1つでしたが、より小さいフォントサイズで動作するかどうかを確認しようとします。