ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 05:18:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc: Correct EFI-specific system configuration details.

Browse source 
* 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.
This commit is contained in:
Pierre Neidhardt 2019-01-21 19:27:51 +01:00
parent f0caf7607d
commit 286749bd44
No known key found for this signature in database
GPG key ID: 9BDCF497A4BBCC7F
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
doc/guix.texi
View file

@ -2106,8 +2106,8 @@ manual}).
@cindex UEFI, installation @cindex UEFI, installation
@cindex ESP, EFI system partition @cindex ESP, EFI system partition
If you instead wish to use EFI-based GRUB, a FAT32 @dfn{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 (ESP) is required. This partition can be mounted at @file{/boot/efi} for
must have the @code{esp} flag set. E.g., for @command{parted}: instance and must have the @code{esp} flag set. E.g., for @command{parted}:
@example @example
parted /dev/sda set 1 esp on parted /dev/sda set 1 esp on
@ -2169,9 +2169,9 @@ mount LABEL=my-root /mnt
@end example @end example
Also mount any other file systems you would like to use on the target 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 system relative to this path. If you have opted for @file{/boot/efi} as an
partition for example, mount it at @file{/mnt/boot} now so it is found EFI mount point for example, mount it at @file{/mnt/boot/efi} now so it is
by @code{guix system init} afterwards. found by @code{guix system init} afterwards.
Finally, if you plan to use one or more swap partitions (@pxref{Memory Finally, if you plan to use one or more swap partitions (@pxref{Memory
Concepts, swap space,, libc, The GNU C Library Reference Manual}), make Concepts, swap space,, libc, The GNU C Library Reference Manual}), make
@ -2253,8 +2253,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} you are installing GRUB in the legacy way, or @code{grub-efi-bootloader}
for newer UEFI systems. For legacy systems, the @code{target} field 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 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 to a mounted EFI partition, like @code{/boot/efi}; do make sure the path is
path is actually mounted. currently mounted and a @code{file-sytem} entry is specified in your
configuration.
@item @item
Be sure that your file system labels match the value of their respective Be sure that your file system labels match the value of their respective