Come modificare il timeout di Grub in Ubuntu 20.04?

Le risposte a una domanda molto vecchia suggeriscono di modificare

/etc/default/grub

Quel file ha i seguenti contenuti:

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

Il timeout a cui sto assistendo all'avvio del sistema è di 10 secondi. Secondo il file di configurazione, però, sono 0 secondi. Quindi, dov'è effettivamente definito il timeout in Ubuntu 20.04?

Risposta accettata:

È una specie di bug in GRUB.

In /etc/grub.d/30_os-prober , ecco lo snippet di codice che causa il 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
}

Per modificare/correggere il timeout di 10 secondi, modifica /etc/grub.d/30_os-prober con:

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

e uno dei due:

1. imposta quick_boot="1" a quick_boot="0"
2. imposta set timeout=10 per set timeout=3

Nota :o modifica /etc/default/grub e imposta GRUB_TIMEOUT=3 o qualcosa tra 1 e 10.

sudo update-grub

Nota :Vedi qui per maggiori dettagli/opzioni.