Re: Select which system to boot while rebooting

From	Reco <recoverym4n@enotuniq.net>
Newsgroups	linux.debian.user
Subject	Re: Select which system to boot while rebooting
Date	2020-12-10 11:50 +0100
Message-ID	<BkrGh-6RF-7@gated-at.bofh.it> (permalink)
References	<BkqKe-6jt-21@gated-at.bofh.it> <Bkr3A-6Fd-13@gated-at.bofh.it> <Bkrdf-6Iw-7@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

	Hi.

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.

Reco

Thread

Select which system to boot while rebooting PstrfZ <pastrufazio@gmail.com> - 2020-12-10 10:50 +0100
  Re: Select which system to boot while rebooting Andrei POPESCU <andreimpopescu@gmail.com> - 2020-12-10 11:10 +0100
    Re: Select which system to boot while rebooting <tomas@tuxteam.de> - 2020-12-10 11:20 +0100
      Re: Select which system to boot while rebooting Reco <recoverym4n@enotuniq.net> - 2020-12-10 11:50 +0100
        Re: Select which system to boot while rebooting Reco <recoverym4n@enotuniq.net> - 2020-12-10 11:50 +0100
          Re: Select which system to boot while rebooting David Wright <deblis@lionunicorn.co.uk> - 2020-12-18 01:50 +0100
            Re: Select which system to boot while rebooting Reco <recoverym4n@enotuniq.net> - 2020-12-18 07:50 +0100
              Re: Select which system to boot while rebooting David Wright <deblis@lionunicorn.co.uk> - 2020-12-18 18:30 +0100
  Re: Select which system to boot while rebooting didier gaumet <didier.gaumet@gmail.com> - 2020-12-10 12:30 +0100
  Re: Select which system to boot while rebooting Joe <joe@jretrading.com> - 2020-12-10 13:30 +0100
  Re: Select which system to boot while rebooting Anssi Saari <as@sci.fi> - 2020-12-10 15:50 +0100

csiph-web