Menu Grub ainda exibido com 18.04

Menu Grub ainda exibido com 18.04

Desejo ocultar o menu grub, mas com as configurações corretas /etc/default/grub, o menu grub ainda é exibido na inicialização. Corro sudo update-grubatrás de cada edição. Abaixo meu arquivo 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=""

Com as seguintes configurações, ainda tenho a exibição do menu, mas não deveria:

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=0

Mesmo problema com:

GRUB_HIDDEN_TIMEOUT=5
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=0

Na verdade, tenho o mesmo efeito que o seguinte:

#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10

Usando Ubuntu 18.04 LTS com janelas de inicialização dupla. Ubuntu é a entrada padrão no grub. Eu edito o arquivo e sudo nano /etc/default/grubexecuto sudo update-grubcom sucesso. Você poderia me ajudar a realmente ocultar o menu grub, por favor?

Editar: Seguindo a resposta de abu_bua, o problema foi resolvido adicionando GRUB_DISABLE_OS_PROBER=trueaqui meu novo arquivo 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=""

Responder1

Adicione sem espaço entre

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

para o seu arquivo grub e atualize seu grub executando

sudo update-grub

informação relacionada