Nice! Thank you!

Thanks,
Alexander

Sent from my Galaxy S10+

On Fri, Mar 20, 2020, 09:21 Michael <bmike1@gmail.com> wrote:
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@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~(-:
---------------------------------------------------
PLUG-discuss mailing list - PLUG-discuss@lists.phxlinux.org
To subscribe, unsubscribe, or to change your mail settings:
https://lists.phxlinux.org/mailman/listinfo/plug-discuss