GRUB メニューで 2 つのフォントが交互に表示されます - どこで設定すればよいですか?

Question

私が持っている GRUB メニューは、数週間前に Ubuntu 17.10 内からハードディスクに GRUB をインストールして作成したもので、タイマーがカウントダウンする秒ごとに、および選択を別のメニュー オプションに上下に移動するときに、2 つのフォントが交互に表示されます。メニューは完全に機能しますが、キーを押すたびにメニューが以前よりも少し大きいフォントまたは小さいフォントで再描画されるのが煩わしいだけです。

この動作はどこで設定できるのでしょうか? 私の/etc/default/grubファイルには、まだ行がありません。GRUBをインストールしてからこれまでファイルGRUB_FONTに加えた変更は、起動時のデバッグ メッセージが表示されるように、と を空の文字列に変更しただけです。/etc/default/grubGRUB_CMDLINE_LINUX_DEFAULTGRUB_CMDLINE_LINUX

Answer 1

解決策を見つけました。GRUB はこのようにフォントを交互に変更できないはずで、実際にそうしてしまうのはバグですが、具体的には、--appendの次の行を削除します/etc/grub.d/00_header。

terminal_output --append ${GRUB_TERMINAL_OUTPUT}

... となるように...。

terminal_output ${GRUB_TERMINAL_OUTPUT}

...そして実行します:

sudo update-grub

私にとってはうまくいきました。

ここソースです。