GNU bug report logs - #30312
documentation: misleading EFI partitioning instructions

Previous Next

Package: guix;

Reported by: Ricardo Wurmus <ricardo.wurmus <at> mdc-berlin.de>

Date: Wed, 31 Jan 2018 19:03:02 UTC

Severity: important

Done: Marius Bakke <mbakke <at> fastmail.com>

Bug is archived. No further changes may be made.

Full log

Message #17 received at 30312 <at> debbugs.gnu.org (full text, mbox):

From: Carlo Zancanaro <carlo <at> zancanaro.id.au>
To: Ricardo Wurmus <ricardo.wurmus <at> mdc-berlin.de>
Cc: 30312 <at> debbugs.gnu.org
Subject: Re: bug#30312: documentation: misleading EFI partitioning instructions
Date: Fri, 02 Feb 2018 09:19:00 +1100

[Message part 1 (text/plain, inline)]
On Wed, Jan 31 2018, Ricardo Wurmus wrote:
> Finally, it is not clear where the efi partition should be 
> mounted.
> Should it be /mnt/boot/efi?  If so, should the configuration 
> file
> specify “/mnt/boot/efi” as the target?  Or should it be 
> “/boot/efi”?
>
> An example would be useful here.

We have an example in the manual at "(guix) Using the 
Configuration System" with the following sections:

 ;; Use the UEFI variant of GRUB with the EFI System
 ;; Partition mounted on /boot/efi.
 (bootloader (bootloader-configuration
               (bootloader grub-efi-bootloader)
               (target "/boot/efi")))

 ;; Assume the target root file system is labelled "my-root",
 ;; and the EFI System Partition has UUID 1234-ABCD.
 (file-systems (cons* (file-system
                        (device "my-root")
                        (title 'label)
                        (mount-point "/")
                        (type "ext4"))
                      (file-system
                        (device (uuid "1234-ABCD" 'fat))
                        (title 'uuid)
                        (mount-point "/boot/efi")
                        (type "vfat"))
                      %base-file-systems))

I know that's a completely different section where you're talking 
about, but maybe it can be referenced/copied in the installation 
section. I think we should mount the efi partition at /boot/efi 
during installation, to match the way things will be when we boot 
into the installed system.

Carlo

[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 6 years and 309 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.