Comment changer le délai d'expiration de Grub dans Ubuntu 20.04 ?

Les réponses à une question très ancienne suggèrent de modifier

/etc/default/grub

Ce fichier a le contenu suivant :

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

Le délai d'attente auquel je suis témoin lors du démarrage du système est de 10 secondes. Selon le fichier de configuration, il s'agit de 0 seconde. Alors, où est le délai d'attente réellement défini dans Ubuntu 20.04 ?

Réponse acceptée :

C'est une sorte de bogue dans GRUB.

Dans /etc/grub.d/30_os-prober , voici l'extrait de code qui cause le problème…

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
}

Pour modifier/corriger le délai d'attente de 10 secondes, modifiez /etc/grub.d/30_os-prober avec :

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

et soit :

définir quick_boot="1" à quick_boot="0"
set set timeout=10 pour set timeout=3

Remarque :ou modifiez /etc/default/grub et définissez GRUB_TIMEOUT=3, ou quelque chose entre 1 et 10.

sudo update-grub

Remarque :Voir ici pour plus de détails/options.