Вчера минут 20 тщетно пытался изменить параметры GRUB2 в файле /etc/default/grub, чтобы GRUB2 выводил меню выбора ОС. Пришлось изменять скрипты из /etc/grub.d. Идем в папку /etc/grub.d и открываем файл 30_os-prober:
sudo gedit /etc/grub.d/30_os-prober
в открывшемся файле изменяем следующие параметры на значение с -1 на 1:
if [ "x${GRUB_HIDDEN_TIMEOUT}" = "x0" ] ; then
cat <
if [ \${timeout} != 1 ]; then
if keystatus; then
if keystatus --shift; then
set timeout=1
else
set timeout=0
fi
else
if sleep$verbose --interruptible 3 ; then
set timeout=0
fi
fi
fi
EOF
else
cat << EOF
if [ \${timeout} != 1 ]; then
if sleep$verbose --interruptible ${GRUB_HIDDEN_TIMEOUT} ; then
set timeout=0
fi
fi
EOF
Затем вводим команды:
sudo grub-mkconfig
sudo update-grub2
Перезагружаем компьютер.