Por que pular o menu do Grub não funciona?

Question

Eu quero pular o menu do Grub ao iniciar meu computador.
Eu editei as configurações que encontrei aqui

Mas não funcionou, qual parte das minhas configurações está errada?

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

    

Answer 1

Alterei 0 para 0.0 e funciona.

GRUB_HIDDEN_TIMEOUT=0.0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=0.0

    

Answer 2

De acordo com info -f grub -n 'Simple configuration' , você também pode definir

GRUB_TIMEOUT_STYLE=hidden 

em vez do seguinte, que são (ou serão) obsoletos:

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true

Não se esqueça de aplicar as alterações quando terminar:

sudo update-grub