An example of Grub settings – and when to run update-grub

Background

Grub controls the boot process menu, and has a number of interesting settings. Here is an example of grub settings:

Example

~$ cat /etc/default/grub

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden

# Remember when you change the timeout below, to run update-grub
GRUB_TIMEOUT=5

GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

As per the comment, if you change the grub timeout delay, also remember to run update-grub.

Leave us a comment if you have had other interesting experiences with grub.