From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Xavier Montillet" Subject: bug#36865: Guix gc breaks grub Date: Wed, 31 Jul 2019 21:05:06 +0000 Message-ID: <8d1b9619-9606-48c0-967b-f4d4f2a7fda3@www.fastmail.com> References: <37594eea-2366-4135-bbd5-b6d582cb6b01@www.fastmail.com> <87a7cu5zlr.fsf@elephly.net> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=515e44e37fc04c18a93fee582042d361 Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:46696) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsxkN-0004z6-Us for bug-guix@gnu.org; Wed, 31 Jul 2019 19:11:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsxkM-0002CB-Np for bug-guix@gnu.org; Wed, 31 Jul 2019 19:11:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44424) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hsxkM-0002Bx-Aj for bug-guix@gnu.org; Wed, 31 Jul 2019 19:11:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hsxkM-0007bs-3C for bug-guix@gnu.org; Wed, 31 Jul 2019 19:11:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87a7cu5zlr.fsf@elephly.net> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ricardo Wurmus Cc: 36865@debbugs.gnu.org --515e44e37fc04c18a93fee582042d361 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Rocardo, I guix pull'ed and grub is no longer marked as dead. "guix gc --list-dea= d | grep 0fijjh7qw8ppsks0ba3q9m873ljhj797" now returns nothing, while "g= rep unicode /boot/grub/grub.cfg" till returns the same thing. So I guess this means it's fixed? I installed with the 1.0.1 installer I think, nothing out of the ordinar= y, except maybe everything being encrypted, including the /boot. Xavier On Wed, Jul 31, 2019, at 9:21 AM, Ricardo Wurmus wrote: >=20 > Hi Xavier, >=20 > > guix gc thinks that grub (and a lot of other stuff that it shouldn't= > > think is dead) is dead, as shown by the following commands (given by= > > nckx): > > > > > > $ grep unicode /boot/grub/grub.cfg > > search --file --set /gnu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub= -2.04/share/grub/unicode.pf2 > > if loadfont /gnu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub-2.04/sh= are/grub/unicode.pf2; then > > > > $ guix gc --list-dead | grep 0fijjh7qw8ppsks0ba3q9m873ljhj797 > > finding garbage collector roots... > > determining live/dead paths... > > /gnu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub-2.04 > > > > I was also able to reproduce the bug by running guix gc and rebootin= g again. >=20 > Oh, that=E2=80=99s not good. Can you still reproduce this after runnin= g =E2=80=9Cguix > system reconfigure =E2=80=A6=E2=80=9D? It should create a new system g= eneration, > register a GC root, and update GRUB. >=20 > It should not say that GRUB itself is dead and thus not free it up for= > garbage collection. >=20 > Could you perhaps share something about how you installed the system (= if > it=E2=80=99s anything out of the ordinary)? >=20 > -- > Ricardo >=20 >=20 --515e44e37fc04c18a93fee582042d361 Content-Type: text/html;charset=utf-8 Content-Transfer-Encoding: quoted-printable
Hi Rocardo,
=

I guix pull'ed and grub is no longer marked as= dead. "guix gc --list-dead | grep 0fijjh7qw8ppsks0ba3q9m873ljhj797" now= returns nothing, while "grep unicode /boot/grub/grub.cfg" till returns = the same thing.

So I guess this means it's = fixed?

I installed with the 1.0.1 installer= I think, nothing out of the ordinary, except maybe everything being enc= rypted, including the /boot.

Xavier

On Wed, Jul 31, 2019, at 9:21 AM, Ricardo Wurmus w= rote:

H= i Xavier,

> guix gc thinks that grub (an= d a lot of other stuff that it shouldn't
> think is dea= d) is dead, as shown by the following commands (given by
&= gt; nckx):
>
>
> $ gr= ep unicode /boot/grub/grub.cfg
> search --file --set /g= nu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub-2.04/share/grub/unicode.p= f2
> if loadfont /gnu/store/0fijjh7qw8ppsks0ba3q9m873lj= hj797-grub-2.04/share/grub/unicode.pf2; then
>
> $ guix gc --list-dead | grep 0fijjh7qw8ppsks0ba3q9m873ljhj797=
> finding garbage collector roots...
>= ; determining live/dead paths...
> /gnu/store/0fijjh7qw= 8ppsks0ba3q9m873ljhj797-grub-2.04
>
> = I was also able to reproduce the bug by running guix gc and rebooting ag= ain.

Oh, that=E2=80=99s not good.  Can= you still reproduce this after running =E2=80=9Cguix
syst= em reconfigure =E2=80=A6=E2=80=9D?  It should create a new system g= eneration,
register a GC root, and update GRUB.
<= div>
It should not say that GRUB itself is dead and thus n= ot free it up for
garbage collection.

Could you perhaps share something about how you installed the s= ystem (if
it=E2=80=99s anything out of the ordinary)?
<= /div>

--
Ricardo



--515e44e37fc04c18a93fee582042d361--