Nice! Thank you!


Sent from my Galaxy S10+

On Fri, Mar 20, 2020, 09:21 Michael <> 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:

then run:

sudo update-grub

On Fri, Mar 20, 2020 at 12:13 PM Michael <> 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~(-:

PLUG-discuss mailing list -
To subscribe, unsubscribe, or to change your mail settings: