При загрузке постоянно появлялось загрузочное меню 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
}
Сохраняем и выполняем команду sudo update-grub2
.
Перезагружаемся для проверки и убеждаемся что меню больше нет.