Grub controls the boot process menu, and has a number of interesting settings. Here is an example of grub settings:
~$ 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
Leave us a comment if you have had other interesting experiences with grub.