¿Cómo cambiar el tiempo de espera de Grub en Ubuntu 20.04?

Las respuestas a una pregunta muy antigua sugieren editar

/etc/default/grub

Ese archivo tiene los siguientes contenidos:

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

El tiempo de espera que estoy presenciando al iniciar el sistema es de 10 segundos. Sin embargo, según el archivo de configuración, son 0 segundos. Entonces, ¿dónde se define realmente el tiempo de espera en Ubuntu 20.04?

Respuesta aceptada:

Es una especie de error en GRUB.

En /etc/grub.d/30_os-prober , aquí está el fragmento de código que causa el problema...

quick_boot="1"

export TEXTDOMAIN=grub
export TEXTDOMAINDIR="${datarootdir}/locale"

. "$pkgdatadir/grub-mkconfig_lib"

found_other_os=

adjust_timeout () {
  if [ "$quick_boot" = 1 ] && [ "x${found_other_os}" != "x" ]; then
    cat << EOF
set timeout_style=menu
if [ "\${timeout}" = 0 ]; then
  set timeout=10
fi
EOF
  fi
}

Para cambiar/arreglar el tiempo de espera de 10 segundos, edite /etc/grub.d/30_os-prober con:

sudo -H gedit /etc/grub.d/30_os-prober

y ya sea:

1. establecer quick_boot="1" a quick_boot="0"
2. establecer set timeout=10 para set timeout=3

Nota :o edite /etc/default/grub y establece GRUB_TIMEOUT=3, o algo entre 1 y 10.

sudo update-grub

Nota :Ver aquí para más detalles/opciones.