[debbugs-tracker] bug#36876: closed (guix system delete-generations removes custom boot menu entries)

[GNU bug Tracking System]

Your message dated Fri, 30 Aug 2019 01:35:21 +0200
with message-id <address@hidden>
and subject line Re: bug#36876: guix system delete-generations removes custom 
boot menu entries
has caused the debbugs.gnu.org bug report #36876,
regarding guix system delete-generations removes custom boot menu entries
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
36876: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36876
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> guix system delete-generations removes custom boot menu entries
>
>
>
>
> Date: 
>
> Wed, 31 Jul 2019 09:48:57 -0600
>
>
>
>
> I dual-booted Guix with another gnu/linux-libre distro.
> My configuration includes the other distro in the grub menu. When I run
> "sudo guix system delete-generations" the changes to the grub menu drop
> the other distro with the older system generations of guix.
>
> My current work-around for this is to run "guix system reconfigure ..."
> which includes the boot menu entries specified in the configuration.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36876: guix system delete-generations removes custom boot menu entries
>
>
>
>
> Date: 
>
> Fri, 30 Aug 2019 01:35:21 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
>
>
>
>
> Pushed as c3e59de9b1340f1a0ef7e30dd2e4e7bf7b484ee9.
>
> Let me know if anything’s still not quite as expected!
>
> Ludo’.
>
>
> --- End Message ---