bug#27231: regression?: grub-configuration for grub-efi does not return a bootloader-configuration

2017-06-09 Thread pelzflorian (Florian Pelz)
On Sun, Jun 04, 2017 at 04:25:13PM +0200, pelzflorian (Florian Pelz) wrote: > On Sun, Jun 04, 2017 at 04:38:11PM +0300, Alex Kost wrote: > > This is a limitation of 'grub-configuration' macro: that backtrace > > happened because you have 'grub' field *not* in the first place of your > > 'grub-confi

bug#27303: Package build phase timer gives incorrect results

2017-06-09 Thread Leo Famulari
Building swig on core-updates, I saw this result: -- BEGIN failed--compilation aborted at runme.pl line 3. make[3]: *** [../../Makefile:285: perl5_run] Error 2 make[2]: *** [Makefile:10: check] Error 2

bug#27287: gnome-tweak-tool fails to start

2017-06-09 Thread Mark H Weaver
Chris Marusich writes: > I recently did a "guix pull" and upgraded the software installed in my > profile. Since then, gnome-tweak-tool has failed to start. Before > that, it started up successfully. > > Here's the error: > > --8<---cut here---start->8--- > $

bug#27264: gnome-shell-3.24.2 consistently dies during initialization

2017-06-09 Thread Mark H Weaver
Marius Bakke writes: > Marius Bakke writes: > >> Mark, others: Can you try these patches and see if they work for you >> (extracted from Keis patch). > > Actually, I just pushed them to 'master' since geoclue rebuilds > 'webkitgtk' and Kei had already verified that gnome-shell now starts. The p