我拥有的 GRUB 菜单是几周前在 Ubuntu 17.10 中的硬盘上安装 GRUB 时创建的，在计时器倒计时的每一秒以及将选择向上或向下移动到不同的菜单选项时，它会在两种字体之间交替显示。菜单功能完美，只是每次我按下一个键时，它都会以比以前稍大或稍小的字体重新绘制菜单，这很烦人。
这种行为可能在哪里配置？在我的/etc/default/grub文件中，我还没有一行GRUB_FONT。/etc/default/grub自从安装 GRUB 以来，我对文件所做的唯一更改是将GRUB_CMDLINE_LINUX_DEFAULT和更改GRUB_CMDLINE_LINUX为空字符串，以便我可以看到启动调试消息。
答案1
我找到了一个解决方案。GRUB 不应该能够像这样交替使用字体，而它这样做是一个错误 - 但具体来说，--append从以下行中删除/etc/grub.d/00_header：
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
... 这样就变成了....
terminal_output ${GRUB_TERMINAL_OUTPUT}
...然后运行：
sudo update-grub
对我有用。
这里是源头。