При загрузке постоянно появлялось загрузочное меню grub. Изменения параметра GRUB_TIMEOUT в файле /etc/default/grub, не работало. Выяснилось, что уже очень давно существует баг на эту тему. Но почему то, его не спешат исправлять.
Исправим его сами. Мне не нужно меню grub‘а вообще. В крайнем случае, можно при загрузке нажать клавишу shift. Поэтому задержку выставим нулевую. Для этого приводим функцию adjust_timeout в файле /etc/grub.d/30_os-prober к виду
|
1 2 3 4 5 6 7 8 9 10 |
adjust_timeout () { if [ "$quick_boot" = 1 ] && [ "x${found_other_os}" != "x" ]; then cat << EOF set timeout_style=menu if [ "\${timeout}" = 0 ]; then set timeout=0 fi EOF fi } |
Сохраняем и выполняем команду sudo update-grub2. Перезагружаемся для проверки и убеждаемся что меню больше нет.