bug#44646: [PATCH] gnu: Add uuid support (back?) to recutils.

2020-11-18 Thread Ludovic Courtès
Hi, John Soo skribis: > From c7eee6d96ea4ce6516f6a528e3d2110f96fb44ec Mon Sep 17 00:00:00 2001 > From: John Soo > Date: Sat, 14 Nov 2020 12:42:10 -0800 > Subject: [PATCH] gnu: Add uuid support to recutils. > > * gnu/packages/databases.scm (recutils): [inputs] Add lib output of > util-linux. Pe

bug#44725: ocaml-cairo2 package fails to build

2020-11-18 Thread Brett Gilio
Evan Straw writes: > Hello Guix maintainers, > > While updating Coq recently I found that the ocaml-cairo2 package it > depends on does not build. It seems to be failing with an error during > the check phase while calling `dune runtest tests`. The build log is > very long so I've attached it as

bug#44669: Shepherd loses track of elogind

2020-11-18 Thread Marius Bakke
Ludovic Courtès skriver: >> Now I no longer use SDDM (or any DM), but I was able to work around it >> by adding #:pid-file: >> >> diff --git a/gnu/services/desktop.scm b/gnu/services/desktop.scm >> index 265cf9f35f..6b7d832a44 100644 >> --- a/gnu/services/desktop.scm >> +++ b/gnu/services/desktop

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Jesse Gibbons
On 11/18/20 10:17 AM, Ludovic Courtès wrote: Hi Jesse, Jesse Gibbons skribis: For example, if you pick , it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you can see both the DCE UUID for ‘-

bug#22952: Backlight brightness keys in GDM and MATE require password authentication

2020-11-18 Thread Marius Bakke
"pelzflorian (Florian Pelz)" skriver: > I’m reopening this bug because it is very similar to my issue. > > When using my Macbook’s keyboard XF86MonBrightnessUp/Down keys to > adjust screen brightness (probably on non-Macbooks too) in GDM or > MATE, I am asked to enter my authentication password t

bug#44725: ocaml-cairo2 package fails to build

2020-11-18 Thread Evan Straw
Hello Guix maintainers, While updating Coq recently I found that the ocaml-cairo2 package it depends on does not build. It seems to be failing with an error during the check phase while calling `dune runtest tests`. The build log is very long so I've attached it as a file. I am using Guix on a f

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Bengt Richter
Hi again, On +2020-11-18 12:17:14 -0700, Jesse Gibbons wrote: > > > On 11/18/20 11:09 AM, Bengt Richter wrote: > > Hi Jesse, > > > > On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: > > [...] > > > I generated the iso with the command > > > `guix system disk-image -t iso9660 --root=installer

bug#44723: Latest binary tarball & Hurd qcow2 image unavailable (502)

2020-11-18 Thread Bengt Richter
Hi, On +2020-11-18 18:50:03 +0100, zimoun wrote: > Hi, > > On Wed, 18 Nov 2020 at 18:46, Ludovic Courtès wrote: > > > I guess it’s OK for Guix System ISO images because a fresh one gets > > built at each evaluation, roughly, but perhaps the Hurd images are not > > rebuilt frequently enough and

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Jesse Gibbons
On 11/18/20 11:09 AM, Bengt Richter wrote: Hi Jesse, On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: [...] I generated the iso with the command `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso --system=i686-linux gnu/system/install.scm` and flash the sd card with

bug#44723: Latest binary tarball & Hurd qcow2 image unavailable (502)

2020-11-18 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Simon, zimoun 写道: Does it make sense to only keep the latest? And GC all the older one except the stable one (pinned). It absolutely makes sense. But knowing how much of a baroque spaghetti painting some of this stuff is behind the scenes, it might not be as trivial as it sounds. Kind r

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Bengt Richter
Hi Jesse, On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: [...] > > I generated the iso with the command > `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso > --system=i686-linux gnu/system/install.scm` > and flash the sd card with the command > `sudo bash -c "echo succ

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Jesse Gibbons
On 11/18/20 10:17 AM, Ludovic Courtès wrote: Hi Jesse, Jesse Gibbons skribis: For example, if you pick , it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you can see both the DCE UUID for ‘-

bug#44723: Latest binary tarball & Hurd qcow2 image unavailable (502)

2020-11-18 Thread zimoun
Hi, On Wed, 18 Nov 2020 at 18:46, Ludovic Courtès wrote: > I guess it’s OK for Guix System ISO images because a fresh one gets > built at each evaluation, roughly, but perhaps the Hurd images are not > rebuilt frequently enough and the changes that they’re GC’d are higher. > > I don’t have a goo

bug#25305: LUKS-encrypted root and unencrypted /boot with GuixSD 0.12.0

2020-11-18 Thread Ludovic Courtès
Hi, Danny Milosavljevic skribis: > (It measures /boot in order to find out whether it has been tampered with or > not) (Off-topic.) I’d be curious to see how much of this approach makes sense in the context of immutable deployments like Guix does. Ludo’.

bug#44723: Latest binary tarball & Hurd qcow2 image unavailable (502)

2020-11-18 Thread Ludovic Courtès
Hi, Tobias Geerinckx-Rice via Bug reports for GNU Guix skribis: > The binary tarball and Hurd qcow2 links on > , which resolve to > and > respectively, return 502. > > Here's

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Ludovic Courtès
Hi Jesse, Jesse Gibbons skribis: >> For example, if you pick >> , >> it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you >> can see both the DCE UUID for ‘--root’ and the ISO UUID for ‘search.fs’

bug#25305: LUKS-encrypted root and unencrypted /boot with GuixSD 0.12.0

2020-11-18 Thread Danny Milosavljevic
On Mon, 16 Nov 2020 18:56:56 +0100 Jonathan Brielmaier wrote: > We have now pretty good LUKS support, but I don't know if we support > this use case. I always have `/boot` encrypted as well... Unencrypted /boot and encrypted / is necessary to be able to use Heads (right now). (It measures /boot

bug#44723: Latest binary tarball & Hurd qcow2 image unavailable (502)

2020-11-18 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Guix, The binary tarball and Hurd qcow2 links on , which resolve to and respectively, return 502. Here's why: 2020-11-18T17:31:24 GET /download/1450 Uncaught exception

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Jesse Gibbons
On 11/18/20 3:31 AM, Ludovic Courtès wrote: Hi, Jesse Gibbons skribis: I generated the iso with the command `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso --system=i686-linux gnu/system/install.scm` and flash the sd card with the command `sudo bash -c "echo success"

bug#44717: ISO grub config points to nonexistent drive UUID.

2020-11-18 Thread Ludovic Courtès
Hi, Jesse Gibbons skribis: > I generated the iso with the command > `guix system disk-image -t iso9660 > --root=installer.BaNl/install-x86.iso --system=i686-linux > gnu/system/install.scm` > and flash the sd card with the command > `sudo bash -c "echo success" && time sudo dd if=install-x86.iso

bug#23196: [Hunting bug#23196]: GNOME "Sharing" settings is blank

2020-11-18 Thread Leo Prikler
Hi simon, The Sharing dialog now consists of two buttons, which at least change some settings, along with the text field, that is still blank. That being said, I am far from able to assert, that this functions as intended; apparently, there should be more settings[1], and those that we do have do