changing default grub entry??

[Grizzly]

12 October 2018  at 8:48, robert wrote:
changing default grub entry?? (at least in part)

>I would like to have the 9th entry of the list that is displayed when I boot, to 
>be default.

Try add/or edit to

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true

Then whatever you "last" used will be default next time

>this is what I tried (and failed):

>1. in /etc/default/grub
>
>     GRUB_DEFAULT=9
>     #GRUB_HIDDEN_TIMEOUT=0
>     GRUB_HIDDEN_TIMEOUT_QUIET=true
>     GRUB_TIMEOUT=10
>     GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
>     GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
>     GRUB_CMDLINE_LINUX=""
>2. update-grub
>
>however, the default entry does not change.
>
>thanks for your help
>
>robert
>
>
>-- 
>ubuntu-users mailing list
>ubuntu-users at lists.ubuntu.com
>Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-users