Jak změnit časový limit Grub v Ubuntu 20.04?

Odpovědi na velmi starou otázku navrhuji upravit

/etc/default/grub

Tento soubor má následující obsah:

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

Časový limit, kterého jsem svědkem při spouštění systému, je 10 sekund. Podle konfiguračního souboru je to však 0 sekund. Kde je tedy časový limit ve skutečnosti definován v Ubuntu 20.04?

Přijatá odpověď:

Je to druh chyby v GRUB.

V /etc/grub.d/30_os-prober , zde je fragment kódu, který způsobuje problém…

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
}

Chcete-li změnit/opravit časový limit 10 sekund, upravte /etc/grub.d/30_os-prober s:

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

a buď:

1. nastavte quick_boot="1" na quick_boot="0"
2. nastavit set timeout=10 set timeout=3

Poznámka :nebo upravte /etc/default/grub a nastavte GRUB_TIMEOUT=3 nebo něco mezi 1 a 10.

sudo update-grub

Poznámka :Více podrobností/možností naleznete zde.