bug#37492: GUIXSD 1.0.1 install error

2019-09-23 Thread RAUL H C LOPES
Hi, I've emailed a few hours ago about an error in the GUIXSD installer. It might be relevant that I was doing encrypted home and root. Very likely unconnected. I've just tried a new install without encryption. A new failure:   .../grub-install- error: efibootmgr failed to register the boo

bug#36419: webkitgtk fixed in later release?

2019-09-23 Thread Jack Hill
Today I was able to build webkitgkt 2.24.4 with Guix commit 4343eebfc9f7d44ec9a665f3374d1397301b542e. It looks like it is also available on ci.guix.gnu.org: https://ci.guix.gnu.org/25hz999kgcjh4alm6liwm12jm3blf5zz.narinfo This is a newer release of webkitgtk than the one that failed (2.24.2).

bug#37492: GUIXSD 1.0.1 install error

2019-09-23 Thread RAUL H C LOPES
Hi, I am trying to install GUIX SD and getting an error 1a6a140 "Unable to to locate keymap update file". I am trying to install UK English, UK keyb with Win keys: . (locale "en_GB.utf8") Showing in the configuration config.scm Regards, Raul

bug#37428: Keyboard layout setting fails when no keyboard is attached

2019-09-23 Thread dario
Hello Ludo, > Are you using GNOME, or Xfce, or some lightweight window manager? I am using EXWM. Interestingly, when using GNOME, the problem does not appear. > When the X11 keyboard layout is incorrect, are there any hints in > ~/.local/share/xorg/Xorg.1.log as to why? Maybe this is relevant? A

bug#36785: Impossible to pull on foreign distro

2019-09-23 Thread Maxim Cournoyer
Hello, Ludovic Courtès writes: > Hi Maxim, > > Maxim Cournoyer skribis: > >> --- a/doc/guix.texi >> +++ b/doc/guix.texi >> @@ -2387,8 +2387,8 @@ Success, you've now booted into Guix System! From >> then on, you can update the >> system whenever you want by running, say: >> >> @example >>

bug#37491: guix master build fails with msgmerge error

2019-09-23 Thread Danny Milosavljevic
msgmerge --lang=en@quot e...@quot.po guix.pot -o e...@quot.new.po done. make[5]: Leaving directory '/home/dannym/src/guix-heads-v5/guix/po/guix' make[4]: Leaving directory '/home/dannym/src/guix-heads-v5/

bug#37437: hash mismatch for emacs-elixir-mode

2019-09-23 Thread Efraim Flashner
On Tue, Sep 17, 2019 at 10:49:36PM +0200, Björn Höfling wrote: > Hi Josh and Tobias, > > thanks for reporting and checking. I'm very surprised someone is > already using this :-) I only added this package three days ago, that's > probably the reason why the source code is not available via hash on

bug#36785: Impossible to pull on foreign distro

2019-09-23 Thread Ludovic Courtès
Hi Gábor, Gábor Boskovits skribis: > I believe sudo -H would work in all distros for doing a root guix pull. Can > someone confirm? I think so, yes. Ludo’.

bug#36785: Impossible to pull on foreign distro

2019-09-23 Thread Gábor Boskovits
Ludovic Courtès ezt írta (időpont: 2019. szept. 23., Hét 10:29): > Hi Maxim, > > Maxim Cournoyer skribis: > > > --- a/doc/guix.texi > > +++ b/doc/guix.texi > > @@ -2387,8 +2387,8 @@ Success, you've now booted into Guix System! From > then on, you can update the > > system whenever you want by

bug#36785: Impossible to pull on foreign distro

2019-09-23 Thread Ludovic Courtès
Hi Maxim, Maxim Cournoyer skribis: > --- a/doc/guix.texi > +++ b/doc/guix.texi > @@ -2387,8 +2387,8 @@ Success, you've now booted into Guix System! From then > on, you can update the > system whenever you want by running, say: > > @example > -guix pull > -sudo guix system reconfigure /etc/