Line by line differences between versions > # If you change this file, run update-grub afterwards to up > # /boot/grub/grub.cfg. > #For full documentation of the options in this file, see: > # info -f grub -n 'Simple configuration' > GRUB_DEFAULT=0 > GRUB_HIDDEN_TIMEOUT=0 > GRUB_TIMEOUT=10 > GRUB_DISTRIBUTOR='lsb_release -i -s 2> /dev/null || echo Debi GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX_DEFAULT="quiet splash