Where to define GRUB_DEFAULT

[Colin Law]

On Fri, 8 Feb 2019 at 11:13, Helmut Schneider <jumper99 at gmx.de> wrote:
>
> Hi,
>
> where do I define GRUB_DEFAULT? /etc/default/grub sounds like "this is
> the defaults, change it somewhere else". I read somewhere about
> /etc/defaults/grub.d/ which does not exist. /etc/grub.d/ esists but
> seems to be something else.
>
> So where would I specify e.g. GRUB_DEFAULT?

You do it in /etc/default/grub.  Then when you have saved it run sudo
update-grub.  In the comments at the top it should say that.

Colin

>
> Thank you!
>
>
> --
> ubuntu-users mailing list
> ubuntu-users at lists.ubuntu.com
> Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-users