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

[Timothy Sample]

Hi Joshua,

Joshua Branson <address@hidden> 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
> (file-system
>    (type "vFAT")
>    (device (file-system-label "EFI"))
>    (mount-point "/boot/efi"))
> #+END_SRC
>
>
> And indeed /dev/sda1, which is my EFI is not mounted.

I believe this is precisely what is missing.  I have an EFI machine with
GuixSD, and I have 

    (file-system
     (device "/dev/sda1")
     (mount-point "/boot/efi")
     (type "vfat"))

in my “file-systems” section.

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 configuration.  I am not sure how exactly to fix it
though.  If you were willing propose something, that would be very
helpful!

> $ mount  | grep /dev
> /dev/sda3 on / type ext4 (rw,relatime)
> /dev/sda4 on /home type ext4 (rw,relatime)
> /dev/sda5 on /home/joshua/prog type ext4 (rw,relatime)
> /dev/sda3 on /gnu/store type ext4 (ro,relatime)
>
> Also why is /dev/sda3 mounted in 2 places?  Is that normal?

Yes.  The store is mounted read-only to prevent things (other than the
Guix Daemon) from modifying it.  You can remount it so that it is
writable, but you shouldn’t.  The store is supposed to be immutable.

> [...]

Hope that helps!


-- Tim