El menú de Grub todavía se muestra con 18.04

El menú de Grub todavía se muestra con 18.04

Deseo ocultar el menú de grub, pero con la configuración correcta en /etc/default/grub, el menú de grub todavía se muestra en el arranque. Corro sudo update-grubdespués de cada edición. Debajo de mi archivo 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=""

Con las siguientes configuraciones, todavía tengo la visualización del menú, aunque no debería:

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=0

El mismo problema con:

GRUB_HIDDEN_TIMEOUT=5
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=0

De hecho, tengo el mismo efecto que el siguiente:

#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10

Usando Ubuntu 18.04 LTS con Windows de arranque dual. Ubuntu es la entrada predeterminada en grub. Edito el archivo y sudo nano /etc/default/grubluego lo ejecuto sudo update-grubcon éxito. ¿Podrías ayudarme a ocultar realmente el menú de grub, por favor?

Editar: siguiendo la respuesta de abu_bua, el problema se resolvió agregando GRUB_DISABLE_OS_PROBER=trueaquí mi nuevo archivo 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=""

Respuesta1

Añadir sin espacio entre

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

a su archivo grub y luego actualice su grub ejecutando

sudo update-grub

información relacionada