Wie ändere ich das Grub-Timeout in Ubuntu 20.04?

Antworten auf eine sehr alte Frage schlagen zum Bearbeiten vor

/etc/default/grub

Diese Datei hat folgenden Inhalt:

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

Das Timeout, das ich beim Booten des Systems sehe, beträgt 10 Sekunden. Laut Konfigurationsdatei sind es aber 0 Sekunden. Also, wo ist das Timeout eigentlich in Ubuntu 20.04 definiert?

Akzeptierte Antwort:

Es ist eine Art Fehler in GRUB.

In /etc/grub.d/30_os-prober , hier ist das Code-Snippet, das das Problem verursacht…

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
}

Um das 10-Sekunden-Timeout zu ändern/reparieren, bearbeiten Sie /etc/grub.d/30_os-prober mit:

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

und entweder:

1. setzen Sie quick_boot="1" zu quick_boot="0"
2. set set timeout=10 zum set timeout=3

Hinweis :oder bearbeiten Sie /etc/default/grub und setzen Sie GRUB_TIMEOUT=3 oder etwas zwischen 1 und 10.

sudo update-grub

Hinweis :Weitere Details/Optionen finden Sie hier.