changing default grub entry??

[Tom H]

On Fri, Oct 12, 2018 at 4:59 PM Grizzly via ubuntu-users
<ubuntu-users at lists.ubuntu.com> wrote:
> 12 October 2018 at 15:45, Tom H wrote:
> Re: changing default grub entry?? (at least in part)
>> On Fri, Oct 12, 2018 at 1:12 PM Grizzly via ubuntu-users
>> <ubuntu-users at lists.ubuntu.com> wrote:
>>> 12 October 2018 at 8:48, robert wrote:
>>>>
>>>> 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
>>
>> You can use "GRUB_DEFAULT=saved" in two ways.
>>
>> 1) You set "GRUB_DEFAULT=saved" and "GRUB_SAVEDEFAULT=true", then
>> whichever kernel that you're booted from becomes the default after you
>> run "update-grub" or equivalent.
>
> IME the last entry used is default next boot (update-grub only needed after
> initial grub edit)
>
> I'm not totally sure "if" a recovery mode was the last choice it would be
> default next time (not tested)

If you say so; I might be misremembering. I'd have to check the
manpage but I don't have the time now.