PIB

VirtualBox 上に導入した Ubuntu 20.04.3 LTS のゲストを UEFI で起動しようとしたところ、
/etc/default/grub で GRUB_TIMEOUT を変更しても timeout が 30 秒から変化してくれない。

/etc/grub.d/00_header に以下のようなコードがあって、
efi のときは、timeout を GRUB_RECORDFAIL_TIMEOUT で上書きするのだけど、GRUB_RECORDFAIL_TIMEOUT が未定義だと、デフォルトの 30 を代入するコードが生成サれてしまうことが原因。

if [ \$grub_platform = efi ]; then
  set timeout=${GRUB_RECORDFAIL_TIMEOUT:-30}
  if [ x\$feature_timeout_style = xy ] ; then
    set timeout_style=menu
  fi
fi

/etc/default/grub で timeout 値として GRUB_RECORDFAIL_TIMEOUT を設定しておく。

• Google: ubuntu uefi timeout grub
• Ivan Tomica / 2019-02-16: Remove EFI grub timeout