From mboxrd@z Thu Jan 1 00:00:00 1970 From: Carlo Zancanaro Subject: bug#30312: documentation: misleading EFI partitioning instructions Date: Fri, 02 Feb 2018 09:19:00 +1100 Message-ID: <87vafgcq0b.fsf@zancanaro.id.au> References: Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56563) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ehNEC-0002of-U4 for bug-guix@gnu.org; Thu, 01 Feb 2018 17:22:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ehND8-0002WQ-PR for bug-guix@gnu.org; Thu, 01 Feb 2018 17:21:08 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:44996) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ehND8-0002Vl-D0 for bug-guix@gnu.org; Thu, 01 Feb 2018 17:20:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ehND8-00025Y-0Y for bug-guix@gnu.org; Thu, 01 Feb 2018 17:20:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-reply-to: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ricardo Wurmus Cc: 30312@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable On Wed, Jan 31 2018, Ricardo Wurmus wrote: > Finally, it is not clear where the efi partition should be=20 > mounted. > Should it be /mnt/boot/efi? If so, should the configuration=20 > file > specify =E2=80=9C/mnt/boot/efi=E2=80=9D as the target? Or should it be=20 > =E2=80=9C/boot/efi=E2=80=9D? > > An example would be useful here. We have an example in the manual at "(guix) Using the=20 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=20 about, but maybe it can be referenced/copied in the installation=20 section. I think we should mount the efi partition at /boot/efi=20 during installation, to match the way things will be when we boot=20 into the installed system. Carlo --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEwWt2bKTcV+mIZ20oCShLEsLiKqIFAlpzklQACgkQCShLEsLi KqJ6NAf/RttyZpiVwgqxvzaoQbBwUSv8PQM498O1xmzHgg2LeBTGoxuV1ljuPRSB lq7GWHdSSNFTTMyDZHjI46b76+9/Z9xY4gfgELrN+z07OZgt4WYpMYThlEGBRoma UJoJKIp2O3cBEnGQ2WsGtdtVNplkFjYu4vS9NVmZW3WZTTEYO+p/BqTLsB+6e1kO ScgvdRmpNJzd28zN8Bs0Wz6QfP1f7mf2DK1+pRUe63wINNJO9lECkQKP5dnhlqfO zbTEwEea346+aTiLfpTStV84GD5XqF3abHSvNI/8HXcOsc9gsIyZymnEQXjfzWeC bcrWDDEO3aA5zojVjL2ornkJuK41Eg== =CSYA -----END PGP SIGNATURE----- --=-=-=--