Hi. On Thu, Dec 10, 2020 at 01:46:18PM +0300, Reco wrote: > On Thu, Dec 10, 2020 at 11:12:37AM +0100, to...@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
