GRUB2:タイムアウト変更方法

LinuxLinuxMint19

① GRUB_TIMEOUT=xx の秒数を変更する

$ sudo vi /etc/default/grub
-------------------------------------------------------------------------

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10 ←ここの秒数を変更(デフォルトは10秒になている)
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

-------------------------------------------------------------------------
変更したら保存する。

② 変更内容を /boot/grub/grub.cfg に反映させる。

$ sudo update-grub

以上で終わりです。