bug#36865: Guix gc breaks grub

2019-08-24 Thread Xavier Montillet
before (or in) bab94ffa0e27e39c02d5ce3add5605b676b76bee. Xavier On Sat, Aug 24, 2019, at 2:04 PM, Ludovic Courtès wrote: > Hello, > > "Xavier Montillet" skribis: > > > All I can say for sure is that the bug was in the guix pull'ed version at > > some point i

bug#36865: Guix gc breaks grub

2019-08-23 Thread Xavier Montillet
> 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 serio

bug#37013: LyX can not find refstyle.sty

2019-08-22 Thread Xavier Montillet
Hi Ricardo, LyX seems to build and run fine without this texlive-union. The texlive stuff is only required when one wants to compile a lyx document to a pdf. I'd therefore expect it to not be a dependency (but maybe a recommended package). And removing this texlive-union fixes my problem: Now,

bug#37013: LyX can not find refstyle.sty

2019-08-12 Thread Xavier Montillet
I couldn't find a way to make LyX find refstyle. How to reproduce: 1 - Install the texlive and lyx packages 2 - Load the bug.lyx file (or any other file that makes it add \usepackage{refstyle} to the generated TeX file). 3 - Press Ctrl+R to compile the file. 4 - You will get an error saying that

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 0fijjh7qw8ppsks

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-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