UbuntuでGRUBの起動時間を変更する

#GRUB_HIDDEN_TIMEOUT=0 をコメントアウト
#GRUB_HIDDEN_TIMEOUT=0
#GRUB_TIMEOUT = 0 に変更 
GRUB_TIMEOUT = 0

### /etc/grub.d/00_header の開始 ###
...
関数レコード失敗{
 レコード失敗を1に設定
 # GRUB には lvm の書き込みサポートがないため、recordfail サポートは無効になっています。
}
...
[ "${recordfail}" = 1 ] の場合;
 タイムアウトを30に設定
...
[ $grub_platform = efi ]の場合;
 タイムアウトを30に設定
...
### /etc/grub.d/00_header の終了 ###

...
  猫 << EOF
[ "\${recordfail}" = 1 ] の場合;
 タイムアウトを${GRUB_RECORDFAIL_TIMEOUT:-30}に設定します
それ以外
終了
...
[ "$recordfail_broken" = 1 ]の場合;
 猫 << EOF
[ \$grub_platform = efi ]の場合;
 タイムアウトを${GRUB_RECORDFAIL_TIMEOUT:-30}に設定します
 [ x\$feature_timeout_style = xy ] の場合;
  timeout_style=メニューを設定
 フィ
...

GRUB_RECORDFAIL_TIMEOUT=0