Changing GRUB options

If you want to change some options of the GRUB boot loader, like for example the timeout for the default option, or the order of the various options, this is what you have to do:

• type  sudo gedit /etc/default/grub  in a Terminal (CTRL+ALT+T) and insert your password
• edit the timeout expressed in seconds at "GRUB_TIMEOUT" or the default option at "GRUB_DEFAULT" (the number is the position of the desired option in the boot loader, starting from 0)
• in the Terminal type  sudo update-grub  to update the GRUB configuration file