GRUB 選單在兩種字體之間交替 - 在哪裡配置？

Question

我的GRUB 選單是幾週前透過在Ubuntu 17.10 中在硬碟上安裝GRUB 創建的，在計時器倒數的每一秒以及將選擇向上或向下移動到不同的字體時，它會在兩種字體之間交替。選單功能完美，只是令人煩惱的是，每次我按下一個鍵時，它都會以比以前稍大或稍小的字體重新繪製選單。

可以在哪裡配置此行為？在我的/etc/default/grub文件中，我還沒有一行GRUB_FONT。自從安裝 GRUB 以來，我對文件所做的唯一更改/etc/default/grub是更改GRUB_CMDLINE_LINUX_DEFAULT和GRUB_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

為我工作。

這裡是源頭。