Subject: bug#36876: closed (Re: bug#36876: guix system delete-generations removes custom boot menu entries)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 29 Aug 2019 23:36:02 +0000

Your bug report

#36876: guix system delete-generations removes custom boot menu entries

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
36876: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36876
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#36876: guix system delete-generations removes custom boot menu entries
From: Ludovic Courtès <[email-masked]>
To: [email-masked] (Jakob L. Kreuze)
Cc: Danny Milosavljevic <[email-masked]>, [email-masked], Jesse Gibbons <[email-masked]>
Date: Fri, 30 Aug 2019 01:35:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as c3e59de9b1340f1a0ef7e30dd2e4e7bf7b484ee9.

Let me know if anything’s still not quite as expected!

Ludo’.

Subject: guix system delete-generations removes custom boot menu entries
From: Jesse Gibbons <[email-masked]>
To: [email-masked]
Date: Wed, 31 Jul 2019 09:48:57 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

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.