bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi

2020-04-07 Thread Marius Bakke
Joshua Branson writes: > Perhaps for now, I'll just throw in this patch that modifies an > guix/system/examples desktop file. The "full blown" desktop has a UEFI > boot, but it does not show the (file-system (type "vfat") ...) example. > This patch should fix that. Pierre pushed an identical

bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi

2019-01-03 Thread Joshua Branson
Timothy Sample writes: > Hi Joshua, > > Joshua Branson writes: > > > I agree with you that the manual could be more clear. In the > installation section, it mentions needing an EFI partition that is > mounted, but it never spells out that this needs to be included in the > operating system

bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi

2019-01-02 Thread Timothy Sample
Hi Joshua, Joshua Branson writes: > Hello, > > This is a really minor bug, but basically grub-install command is > failing on reconfigure. It is failing, because /dev/sda1 (my EFI) is > not mounted at /boot/efi. In the config examples in the manual, it does > not show a > > #+BEGIN_SRC scheme

bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi

2019-01-02 Thread Joshua Branson
Hello, This is a really minor bug, but basically grub-install command is failing on reconfigure. It is failing, because /dev/sda1 (my EFI) is not mounted at /boot/efi. In the config examples in the manual, it does not show a #+BEGIN_SRC scheme (file-system (type "vFAT") (device