Ubuntu 20.04でGrubタイムアウトを変更する方法は？

非常に古い質問への回答は編集することを提案します

/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で実際に定義されているタイムアウトはどこにありますか？

承認された回答：

これは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

およびいずれか：

set quick_boot="1" quick_boot="0"へ
set set timeout=10 set timeout=3に

注：または/etc/default/grubを編集します GRUB_TIMEOUT =3、または1から10の間の何かを設定します。

sudo update-grub

注：詳細/オプションについては、こちらをご覧ください。