sudo update grub

[Michael]

okay I think I figured that one out.... it is update-grub.

For your edification I asked at one point how to get  the os to load a
specific kernel w/o pressing esc each time and selecting it out of the
list. I never got an answer.  Anyways this is how you do it:
get grub to look like this:

GRUB_SAVEDEFAULT=true
GRUB_DEFAULT=saved
then run:

sudo update-grub

On Fri, Mar 20, 2020 at 12:13 PM Michael <bmike1 at gmail.com> wrote:
>
> I have a question about grub.
> Anytime we modify it we have to run update-grub? Is it update grub or
> update-grub or what?
>
> --
> :-)~MIKE~(-:



-- 
:-)~MIKE~(-: