bug#36865: Guix gc breaks grub

2019-08-26 Thread Ludovic Courtès
Hi Jakob, zerodaysford...@sdf.lonestar.org (Jakob L. Kreuze) skribis: > Ludovic Courtès writes: > >> Jakob, does that ring a bell? > > Yes, this was fixed by #36880. Looking more closely, it seems to be . Anyway, closing. Thanks for your feedback! Lud

bug#36865: Guix gc breaks grub

2019-08-24 Thread Jakob L. Kreuze
Hi Ludovic, Apologies for not participating in this thread until just now. Ludovic Courtès writes: > Jakob, does that ring a bell? Yes, this was fixed by #36880. Regards, Jakob signature.asc Description: PGP signature

bug#36865: Guix gc breaks grub

2019-08-24 Thread Xavier Montillet
Hi, Jul 26 2019 23:55:23 d23a00b599be56694065bd274184b9289fb8b85c Jul 29 2019 11:32:04 ab20b3ed9152c7c95d0d2c6b2d65e29983ab57ce Jul 29 2019 23:52:32 18c4b0a27705773e423fb17310394204b7295d4a Jul 30 2019 before 22:03 nckx saves me (last messages of http://logs.guix.gnu.org/guix/2019-07-3

bug#36865: Guix gc breaks grub

2019-08-24 Thread Ludovic Courtès
Hello, "Xavier Montillet" skribis: > All I can say for sure is that the bug was in the guix pull'ed version at > some point in the week leading to July 31 (and most likely on July 30), and > that the bug is no longer in the version of July 31 evening. Could you run ‘guix pull -l 1m’ (for this

bug#36865: Guix gc breaks grub

2019-08-23 Thread Xavier Montillet
Hi Ludo, All I can say for sure is that the bug was in the guix pull'ed version at some point in the week leading to July 31 (and most likely on July 30), and that the bug is no longer in the version of July 31 evening. Xavier On Fri, Aug 23, 2019, at 12:31 PM, Ludovic Courtès wrote: > Hi Xavi

bug#36865: Guix gc breaks grub

2019-08-23 Thread Ludovic Courtès
Hi Xavier, "Xavier Montillet" skribis: > I just tried running guix gc and restarting and can confirm that the symptoms > disappeared. So, is this bug fixed? If so, in what commit range was the fix introduced? That sounds like a serious issue so I’d rather make sure we understand what happene

bug#36865: Guix gc breaks grub

2019-07-31 Thread Xavier Montillet
I just tried running guix gc and restarting and can confirm that the symptoms disappeared. On Wed, Jul 31, 2019, at 9:05 PM, Xavier Montillet wrote: > Hi Rocardo, > > I guix pull'ed and grub is no longer marked as dead. "guix gc --list-dead | > grep 0fijjh7qw8ppsks0ba3q9m873ljhj797" now returns

bug#36865: Guix gc breaks grub

2019-07-31 Thread Xavier Montillet
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 thi

bug#36865: Guix gc breaks grub

2019-07-31 Thread Ricardo Wurmus
Hi Xavier, > 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/uni

bug#36865: Guix gc breaks grub

2019-07-30 Thread Xavier Montillet
*Symptoms* After running guix gc, and rebooting, I got the following errors (which stay something like half a second on the screen): error: no such device: /gnu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub-2.04/share/grub/unicode.pf2 error: file `/gnu/store/0fijjh7qw8ppsks0ba3q9m873ljhj797-grub