bug#36051: "guix import gnu" says public key is not in keyring

2019-06-01 Thread Jesse Gibbons
I am trying to define the gnurobots package using guix import. I try the following and get the corresponding results: ~$ guix import gnu gnurobots Starting download of /tmp/guix-file.sRnZ4I From ftp://ftp.gnu.org/gnu/gnurobots/gnurobots-1.2.0.tar.gz... gnurobots-1.2.0.tar.gz 173KiB 163KiB

bug#35900: Can't logout and login again

2019-06-01 Thread Ludovic Courtès
Hi Philip, phi...@warpmail.net (Philip K.) skribis: > Nevertheless, I managed to solve the issue by reading through the > manual, and it was unrelated to my initial suspicion, and as you mention > had to do with the xsession file containing a command (I believe it was > "xset") that I hadn't inst

bug#35900: Can't logout and login again

2019-06-01 Thread Philip K.
Sorry for the late response, I thought I had already responded a few days back, but it seems I must have replied to the wrong message... I'm sad to say that I have had to give up on using Guix (for now), since I didn't have enough time to properly configure the system to my needs during universit

bug#35996: User account password got locked when booting old generation

2019-06-01 Thread Ludovic Courtès
Hi Florian, "pelzflorian (Florian Pelz)" skribis: > On Sat, Jun 01, 2019 at 07:52:38AM +0200, pelzflorian (Florian Pelz) wrote: >> I wonder what would change /etc/shadow. >> > > If the error occurred on common non-Guix distros, it hopefully would > have been fixed before, maybe. Of course Guix

bug#35996: User account password got locked when booting old generation

2019-06-01 Thread pelzflorian (Florian Pelz)
On Sat, Jun 01, 2019 at 07:52:38AM +0200, pelzflorian (Florian Pelz) wrote: > I wonder what would change /etc/shadow. > If the error occurred on common non-Guix distros, it hopefully would have been fixed before, maybe. Of course Guix recreates /etc/shadow much more frequently. Guix appears to

bug#35875: Guix won't boot after installation with fully encrypted disk

2019-06-01 Thread Reg
Hi Ludo, SSH does not work. No response to ping. Thanks for the support, Reg On 2019-06-01 00:01, Ludovic Courtès wrote: > Hi Reg, > > Reg skribis: > >> On 2019-05-30 14:10, Giovanni Biscuolo wrote: >>> Are you sure your laptop does not boot at all? I mean: can't you switch >>> to a different t