Re: grub-set-default

2021-05-20 Thread Richmond
IL Ka writes: > > 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 u

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 contents with: $