Re: Select which system to boot while rebooting
Hi.
On Thu, Dec 10, 2020 at 01:46:18PM +0300, Reco wrote:
> On Thu, Dec 10, 2020 at 11:12:37AM +0100, tomas@tuxteam.de wrote:
> > On Thu, Dec 10, 2020 at 12:00:20PM +0200, Andrei POPESCU wrote:
> >
> > [...]
> >
> > > 2. As far as I recall grub1 has a 'grub set-default' or similar command
> > > that could be used for to change the default for the next boot only[b].
> > > Maybe this was re-implemented also in grub2?
> >
> > It seems so (note version 2.02+... at man page's footer). Since it's
> > short and sweet, I take the liberty to include its man page here, as
> > a special broadcast service :-)
> >
> > ========================================================================
> > GRUB-SET-DEFAULT(8) System Administration Utilities GRUB-SET-DEFAULT(8)
>
> Please note that it's required to supply GRUB_DISABLE_SUBMENU=true
> option before using grub-set-default, Debian supports it, but does not
> use it by default.
> Things get really weird with grub-set-default unless you use
> GRUB_DISABLE_SUBMENU=true.
A correction - GRUB_DISABLE_SUBMENU=true should be put into
/etc/default/grub.
Reco
Reply to: