Меню Grub по-прежнему отображается в версии 18.04

Меню Grub по-прежнему отображается в версии 18.04

Я хочу скрыть меню grub, но при правильных настройках в /etc/default/grubменю grub все равно отображается при загрузке. Я запускаю sudo update-grubпосле каждого редактирования. Ниже мой файл grub:

cat /etc/default/grub
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=2
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=0
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

При следующих настройках меню все равно отображается, хотя не должно:

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=0

Та же проблема с:

GRUB_HIDDEN_TIMEOUT=5
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=0

На самом деле, я произвожу тот же эффект, что и следующее:

#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10

Использую Ubuntu 18.04 LTS с двойной загрузкой окон. Ubuntu — это запись по умолчанию в grub. Я редактирую файл с помощью, sudo nano /etc/default/grubзатем запускаю sudo update-grubс успехом. Не могли бы вы помочь мне действительно скрыть меню grub, пожалуйста?

Редактировать: После ответа от abu_bua проблема была решена путем добавления GRUB_DISABLE_OS_PROBER=trueсюда моего нового файла grub:

GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=0
GRUB_DISABLE_OS_PROBER=true
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

решение1

Добавить без пробела между

GRUB_DISABLE_OS_PROBER= true   # WRONG
GRUB_DISABLE_OS_PROBER=true    # correct setting of variable

в ваш файл grub, а затем обновите его, выполнив команду

sudo update-grub

Связанный контент