Editing grub boot menu, how to save?

[Bo Berglund]

On Sat, 30 Oct 2021 05:57:49 +0800, Bret Busby <bret.busby at gmail.com> wrote:

>Out of interest, a grub-help mailing list exists.
>
>See https://www.gnu.org/software/grub/
>and https://www.gnu.org/software/grub/grub-mailinglist.html

Thanks!
I did not know this but I have now posted via gmane on
gmane.comp.boot-loaders.grub.user

Let's see what comes out of that.


-- 
Bo Berglund
Developer in Sweden