如何在 Ubuntu 20.04 中更改 grub 超时

Question

对一个非常古老的问题的回答建议编辑

/etc/default/grub

该文件具有以下内容：

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

我在启动系统时看到的超时是 10 秒。根据配置文件，它是 0 秒。那么，Ubuntu 20.04 中实际定义的超时时间在哪里？

Answer 1

这是 GRUB 中的一个错误。

在 中/etc/grub.d/30_os-prober，这是导致问题的代码片段......

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
}

要更改/修复 10 秒超时，/etc/grub.d/30_os-prober请编辑：

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

以及：

1. 设置quick_boot="1"​quick_boot="0"
2. 设置set timeout=10​set timeout=3

注意：或者编辑/etc/default/grub并设置 GRUB_TIMEOUT=3，或者 1 到 10 之间的值。

sudo update-grub

注意：请参阅此处了解更多详细信息/选项。