Меню GRUB, которое было создано при установке GRUB несколько недель назад на жестком диске из Ubuntu 17.10, чередуется между двумя шрифтами, каждая секунда, отсчитываемая таймером, и при перемещении выделения вверх или вниз к другому варианту меню. Меню совершенно функционально, это просто раздражает, что он перерисовывает меню в несколько большем или меньшем шрифте, чем раньше, каждый раз, когда я нажимаю клавишу.
Где это можно настроить? В моем файле /etc/default/grub у меня еще нет строки GRUB_FONT. Единственные изменения, которые я внес в мой файл /etc/default/grub с момента установки GRUB, заключались в том, чтобы изменить GRUB_CMDLINE_LINUX_DEFAULT и GRUB_CMDLINE_LINUX на пустую строку, чтобы я смог увидеть отладочные сообщения для загрузки.
Я нашел решение. GRUB не должен иметь возможность чередовать шрифты, подобные этому, и тот факт, что он делает это, является ошибкой, но, в частности, удаление --append из следующей строки в /etc/grub.d/00_header:
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
... так что он становится ....
terminal_output ${GRUB_TERMINAL_OUTPUT}
... и затем работает:
sudo update-grub
Работал для меня.
Вот источник.
Я нашел решение. GRUB не должен иметь возможность чередовать шрифты, подобные этому, и тот факт, что он делает это, является ошибкой, но, в частности, удаление --append из следующей строки в /etc/grub.d/00_header:
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
... так что он становится ....
terminal_output ${GRUB_TERMINAL_OUTPUT}
... и затем работает:
sudo update-grub
Работал для меня.
Вот источник.