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) NAME grub-set-default - set the saved default boot entry for GRUB SYNOPSIS grub-set-default [OPTION] MENU_ENTRY DESCRIPTION Set the default boot menu entry for GRUB. This requires setting GRUB_DEFAULT=saved in /etc/default/grub. -h, --help print this message and exit -V, --version print the version information and exit --boot-directory=DIR expect GRUB images under the directory DIR/grub instead of the /boot/grub directory MENU_ENTRY is a number, a menu item title or a menu item identifier. REPORTING BUGS Report bugs to <bug-g...@gnu.org>. SEE ALSO grub-reboot(8), grub-editenv(1) The full documentation for grub-set-default is maintained as a Texinfo manual. If the info and grub-set-default programs are properly installed at your site, the command info grub-set-default should give you access to the complete manual. grub-set-default (GRUB) 2.02+dfsg1-20+deb10u2 July 2020 GRUB-SET-DEFAULT(8) ========================================================================
signature.asc
Description: Digital signature