Меню Grub все еще отображается с 18.04 [дубликат]

Я хочу скрыть личинку меню, но с правильными настройками в / 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 . Не могли бы вы помочь мне действительно скрыть меню личинки, пожалуйста?

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

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=""