Re: grub-set-default

2021-05-20 Thread Richmond
mware storage may also > be used > > To use it, you must set GRUB_DEFUALT=saved Thanks that was a rather crucial bit I missed out. Also it didn't like grub-set-default "Windows 10" but it worked with a number.

Re: grub-set-default

2021-05-19 Thread IL Ka
> > > I cannot see any changes in /etc/grub.d/ or /etc/default/grub > It saves data in the GRUB environment block https://www.gnu.org/software/grub/manual/grub/grub.html#Environment-block Somewhere in /boot/grub/grubenv but I think firmware storage may also be used To use it, you must set GRUB_D

Re: grub-set-default

2021-05-19 Thread Andy Smith
Hi Richmond, On Wed, May 19, 2021 at 04:34:34PM +0100, Richmond wrote: > grub-set-default 5 > > I cannot see any changes in /etc/grub.d/ or /etc/default/grub grub-set-default makes changes to /boot/grub/grubenv, which is read by the grub binary at boot time. You can examine its cont

grub-set-default

2021-05-19 Thread Richmond
This command doesn't seem to do anything. I thought perhaps there was a grub2 version, but it seems this is the grub2 version. Command 'grub2-set-default' not found, did you mean: command 'grub-set-default' from deb grub-legacy command 'grub-set-default&#x