GNU bug report logs -
#36876
guix system delete-generations removes custom boot menu entries
Previous Next
Full log
View this message in rfc822 format
Hi there!
Ludovic Courtès <ludo <at> gnu.org> skribis:
> The attached patches should fix this. I’ve successfully deleted a
> generation on my system. :-) I don’t have extra menu entries though, so
> it’d be great if you could give it a try.
So I tried it on my laptop: I added a dummy menu entry, reconfigured,
rebooted, then ran “guix system delete-generations N”, and I confirm
that it preserves the extra menu entry.
There was a typo though:
> --- a/gnu/system.scm
> +++ b/gnu/system.scm
> @@ -116,6 +116,7 @@
> boot-parameters-label
> boot-parameters-root-device
> boot-parameters-bootloader-name
> + boot-parameters-bootloader-menu-entries
> boot-parameters-store-device
> boot-parameters-store-mount-point
> boot-parameters-kernel
> @@ -251,6 +252,8 @@ directly by the user."
> ;; OS's root file system, so it might be a device path like "/dev/sda3".
> (root-device boot-parameters-root-device)
> (bootloader-name boot-parameters-bootloader-name)
> + (bootloader-menu-entries ;list of <menu-entry>
> + boot-parameters-bootloader-menu-entries)
> (store-device boot-parameters-store-device)
> (store-mount-point boot-parameters-store-mount-point)
> (kernel boot-parameters-kernel)
> @@ -297,6 +300,11 @@ file system labels."
> ((_ args) args)
> (#f 'grub))) ; for compatibility reasons.
>
> + (bootloader-menu-entries
> + (match (assq 'bootloader-menu-entries rest)
> + ((_ . entries) (map sexp->menu-entry entries))
^
There shouldn’t be a dot here.
I’ll go ahead and push these patches (with this correction) if there are
no objections.
Thanks,
Ludo’.
This bug report was last modified 5 years and 270 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.