GRUB timeout変更(ubuntu20.04)

金藤　休日

2022/04/21　kubuntu20（KDEデスクトップ）の場合

以下の修正のあと update-grub　で変更できます。
ファイル：/etc/grub.d/00_header
関数：make_timeout

if [ "$recordfail_broken" = 1 ]; then
cat << EOF
if [ \$grub_platform = efi ]; then
#set timeout=${GRUB_RECORDFAIL_TIMEOUT:-30}　　＜ーーコメント
set timeout=5　　＜ーー追加
if [ x\$feature_timeout_style = xy ] ; then
set timeout_style=menu
fi
2022/04/21 追記ここまで

ubuntu20.04 GRUBタイムアウト時間、初期設定から変更についてメモ

１．環境:OSはubuntu20.04のみ、sambaサーバー構築のため新規インストール
HDD：OSディスクとデータディスク（２デバイス）、いずれもｇｐｔパーティション
マウントはuuid指定でfstabに追加

２．現象
google検索などでヒットする　/etc/grub, /etc/grub.d, /etc/default/grub　下の設定ファイル、スクリプトを修正しても timeout=30 が変更できない

３．対策
参考ＵＲＬ：２０２２/０１/２４現在
https://qastack.jp/ubuntu/1036091/how-to-set-grub-timeout-to-0-on-ubuntu-18-04
の最終ポストとおり　/etc/default/grub　に GRUB_RECORDFAIL_TIMEOUT=０ を追加
update-grub　実行
カーネルupgrade実行後も設定が有効なことを確認済です、わかってしまえば「これだけのこと」ですが半日かかりました、参考になれば。