При загрузке постоянно появлялось загрузочное меню Grub.
Изменения параметра GRUB_TIMEOUT
в файле /etc/default/grub
, не работало.
Выяснилось, что уже очень давно существует баг на эту тему. Но почему то, его не спешат исправлять. Исправим его сами.
Мне не нужно меню Grub вообще. В крайнем случае, можно при загрузке нажать клавишу “Shift”. Поэтому задержку выставим нулевую.
Для этого приводим функцию adjust_timeout
в файле /etc/grub.d/30_os-prober
к виду:
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
}
Ключевая строчка здесь set timeout=0
.
Сохраняем и выполняем команду sudo update-grub2
.
Перезагружаемся для проверки и убеждаемся что меню больше нет.