sudo update grub

[Snyder, Alexander J]

Nice! Thank you!

Thanks,
Alexander

Sent from my Galaxy S10+

On Fri, Mar 20, 2020, 09:21 Michael <bmike1 at 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 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~(-:
> ---------------------------------------------------
> PLUG-discuss mailing list - PLUG-discuss at lists.phxlinux.org
> To subscribe, unsubscribe, or to change your mail settings:
> https://lists.phxlinux.org/mailman/listinfo/plug-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.phxlinux.org/pipermail/plug-discuss/attachments/20200320/c3cbf465/attachment.html>