bug#39700: Outdated installation video

2020-03-28 Thread Ricardo Wurmus
Julien Lepiller writes: > In fact, the video is slightly outdated, showing a different command > for importing the gpg key. This is now fixed. > There was also a confusion as the gpg fingerprint appears on a > separate paragraph, as if it were part of the output, leading to a > failure due to

bug#40273: installer: No way to input Latin characters with non-Latin keyboard layouts

2020-03-28 Thread pelzflorian (Florian Pelz)
After selecting non-Latin keyboard layouts in the graphical installer, there is no way to input Latin characters again. This means hostname, username, password, the home directory path /home/… cannot be specified in Latin. There either should be a way to switch the keyboard layout later on. For e

bug#40272: linux-module-build-system don't support an inferior package as a kernel

2020-03-28 Thread Brice Waegeneire
Message Body Hello, The linux-module-build-system crash when using an inferior package as the kernel. I have first reported the issue in the second part of[0] and latter, reading[1] made me realize that the root cause was in `(guix `build-system linux-module)' and not directly related to the

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

2020-03-28 Thread pelzflorian (Florian Pelz)
Hello Reg! On Thu, May 23, 2019 at 11:41:40PM +0200, Reg wrote: > Guix won't boot on my ThinkPad T430 after an installation with fully > encrypted disk: A friend had an issue that looked similar on an HP laptop (no Thinkpad) in Guix System. GRUB got stuck either after entering the encryption key