diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:27:51 +0100 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:27:51 +0100 |
| commit | 63a5946761ec21dcdbca3b4c7bdcfe9e8110523b (patch) | |
| tree | 7b7cb7ec0e4c98f75ba526b0ce5cf96eddfd5950 | |
| parent | cb5fe915d215af6accfc413bea109902f5618e47 (diff) | |
doc: Correct EFI-specific system configuration details.
* doc/guix.texi (Preparing for Installation): /boot/efi is arbitrary.
Mention /boot/efi consistently.
(Proceeding with the Installation): Make it explicit that the EFI mount point
must both be mounted and be specified in the system configuration.
| -rw-r--r-- | doc/guix.texi | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 245a18bc70..e73302d1ea 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -9485,8 +9485,8 @@ manual}). @cindex UEFI, installation @cindex ESP, EFI system partition If you instead wish to use EFI-based GRUB, a FAT32 @dfn{EFI System Partition} -(ESP) is required. This partition should be mounted at @file{/boot/efi} and -must have the @code{esp} flag set. E.g., for @command{parted}: +(ESP) is required. This partition can be mounted at @file{/boot/efi} for +instance and must have the @code{esp} flag set. E.g., for @command{parted}: @example parted /dev/sda set 1 esp on @@ -9548,9 +9548,9 @@ mount LABEL=my-root /mnt @end example Also mount any other file systems you would like to use on the target -system relative to this path. If you have @file{/boot} on a separate -partition for example, mount it at @file{/mnt/boot} now so it is found -by @code{guix system init} afterwards. +system relative to this path. If you have opted for @file{/boot/efi} as an +EFI mount point for example, mount it at @file{/mnt/boot/efi} now so it is +found by @code{guix system init} afterwards. Finally, if you plan to use one or more swap partitions (@pxref{Memory Concepts, swap space,, libc, The GNU C Library Reference Manual}), make @@ -9632,8 +9632,9 @@ you want to install GRUB on. It should mention @code{grub-bootloader} if you are installing GRUB in the legacy way, or @code{grub-efi-bootloader} for newer UEFI systems. For legacy systems, the @code{target} field names a device, like @code{/dev/sda}; for UEFI systems it names a path -to a mounted EFI partition, like @code{/boot/efi}, and do make sure the -path is actually mounted. +to a mounted EFI partition, like @code{/boot/efi}; do make sure the path is +currently mounted and a @code{file-sytem} entry is specified in your +configuration. @item Be sure that your file system labels match the value of their respective |