Change default entry on GRUB menu
By default, the first element in the GRUB menu will be selected after the seconds at GRUB_TIMEOUT has passed.In order to change the default selection we need to modify the GRUB_DEFAULT property at /et...