はじめに
ブート時にOSの選択画面が表示されるが，何も選択しない場合にデフォルトのOSが選択されるまでの時間を変更する．
手順
1. 待機時間を変更
/etc/default/grub の中の GRUB_TIMEOUT の値(秒)を変更する．
2. GRUB の設定を更新する
Arch Wiki によると，grub-mkconfig を実行して
/boot/grub/grub.cfg を更新もしくは生成する．
# grub-mkconfig -o /boot/grub/grub.cfg
以上で次のブート時から GRUB_TIMEOUT で設定した値(秒)だけ待つようになる．