Linux MintでGRUBのタイムアウト時間を変更する方法です。
/etc/default/grubの編集
まず、/etc/default/grubを開きます。$ sudo vi /etc/default/grubこの例では、viを使ってますが、その他のテキストエディターで開いても構いません。
GRUB_TIMEOUTの変更
次に、GRUB_TIMEOUTにタイムアウトの秒数を設定します。この例では20秒に設定しています。
# If you change this file, run 'update-grub' afterwards to update # /boot/grub/grub.cfg. # For full documentation of the options in this file, see: # info -f grub -n 'Simple configuration' GRUB_DEFAULT='Windows 10 (loader) (on /dev/sda1)' #GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=20 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="" # Uncomment to enable BadRAM filtering, modify to suit your needs # This works with Linux (no patch required) and with any kernel that obtains # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" # Uncomment to disable graphical terminal (grub-pc only) #GRUB_TERMINAL=console
更新
設定をしたら、最後にupdate-grubで更新します。$ sudo update-grub
＜関連記事＞
【Linux】Linux MintでGRUBのメニューの順番を変える
Windows10マシンにデュアルブートでインストールしたLinux Mintを削除する方法
Windows10マシンにLinux Mintをインストールしてデュアルブート化してみた。
【Linux】Linux Mint にSQL Serverをインストールしてみた
【Linux】Linux Mint にPowerShellをインストールしてみた。
【Linux】Linux Mint にSophos Anti-Virus for Linux(Free Edition)を入れてみた
スポンサーリンク