Меню GRUB чередуется между двумя шрифтами - где настроить? [закрыто]
Имеющееся у меня меню GRUB, которое было создано путем установки GRUB несколько недель назад на жесткий диск из Ubuntu 17.10, чередуется между двумя шрифтами, каждую секунду, пока таймер отсчитывает обратный отсчет, и при перемещении выделения вверх или вниз к другому пункту меню.Меню прекрасно функционирует, просто раздражает то, что оно перерисовывает меню чуть большим или меньшим шрифтом, чем раньше, каждый раз, когда я нажимаю клавишу.
Где можно настроить это поведение? В моем файле / 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
Работавший для меня.
Вот Источник.