From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: Re: GRUB EFI installation breakage Date: Tue, 22 Aug 2017 17:47:39 +0300 Message-ID: <20170822144739.GF2484@macbook42.flashner.co.il> References: <87efs34tfl.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="FoLtEtfbNGMjfgrs" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46739) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dkAT7-0003J6-GJ for guix-devel@gnu.org; Tue, 22 Aug 2017 10:47:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dkAT2-0003Uj-06 for guix-devel@gnu.org; Tue, 22 Aug 2017 10:47:49 -0400 Content-Disposition: inline In-Reply-To: <87efs34tfl.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel --FoLtEtfbNGMjfgrs Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Aug 22, 2017 at 03:34:54PM +0200, Ludovic Court=C3=A8s wrote: > Hello, >=20 > To reconfigure my system on UEFI, I had to apply this patch: >=20 > modified gnu/bootloader/grub.scm > @@ -401,7 +401,8 @@ submenu \"GNU system, old configurations...\" {~%") > ;; root partition. > (setenv "GRUB_ENABLE_CRYPTODISK" "y") > (unless (zero? (system* grub-install "--boot-directory" install-= dir > - "--efi-directory" efi-dir)) > + ;; "--efi-directory" efi-dir > + )) > (error "failed to install GRUB (EFI)"))))) > =20 >=20 > Before that =E2=80=98grub-install=E2=80=99 would fail because =E2=80=98ef= i-dir=E2=80=99 would actually > be =E2=80=9C/dev/sda=E2=80=9D, which is what I have in the =E2=80=98devic= e=E2=80=99 field of > =E2=80=98grub-configuration=E2=80=99. >=20 > Removing the =E2=80=9C--efi-directory=E2=80=9D solves the problem because= =E2=80=98grub-install=E2=80=99 > automatically determines that the EFI directory is mounted at /boot/efi. >=20 > I think 2941b347b664a3d3114de0ac95e28db78db66144 is bogus because it > assumes that the second argument of the gexp=E2=80=99d lambda is =E2=80= =98efi-dir=E2=80=99, > where in fact it is the =E2=80=98device=E2=80=99 field of the bootloader = config. >=20 > So what is the preferred fix? Simply remove =E2=80=9C--efi-directory=E2= =80=9D like I > did above, and rename =E2=80=98efi-dir=E2=80=99 to =E2=80=98device=E2=80= =99 to avoid the ambiguity? > Thoughts? >=20 > Ludo=E2=80=99. I spent part of today staring at grub https://www.gnu.org/software/grub/manual/html_node/Installing-GRUB-using-gr= ub_002dinstall.html#Installing-GRUB-using-grub_002dinstall if efi-directory is /boot/efi then there's no need for the flag. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --FoLtEtfbNGMjfgrs Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAlmcQ/4ACgkQQarn3Mo9 g1Fg0xAAlMMipR9fU2r0Bsd5hd/gmpTDkZZE221TxEvPtG/lJCidkUVyjikUpD+G SkGHdvhLpDecAiDWzRJ0LmpRjkc3oDeD/JtiWA3qLI6BZnkS9hRayv35YYk6R0gr 4L7kIxFVn75zRQmE6TZMwWweu9GLbSx8BlBPlTYJmi2CrzeMT8Lzy49Kw2HS2gaS m1u1IhjSkXdTD+07lzh0n+hC9X+9C2SgqOgGy5BNtDj6rOi8F1qjvt421WH7H3Z+ oKEHLg+66FTd5/YoYIULWBEWCk7L3nVcxu5fhRg7kqacDs9D0ztrH70GdJZEJ2NU 0jeKfPS7NV9QBNv/+IryVoOdxidfA5+VF2Hs/Xcda1vFepwUZ9laOEcLbBWG4xgK ZXoKeLCiFvbtex5ac1bXBbp19DrJb0wNuue7aD0+akhsbxGMhlAvO5NBhCcS9T61 J21maflyV1Yt4nATgqLlUOczCAWd/z597WGW2Z2cMadFaV2UqtOQCD004c85kFFe ss413pqIEOt8kXasuGGEsGn84lwNL5N7iWokyFfN8/7JZq+VOK/b+g5Q1SWjEOrj 7dONffr0MNlhcX3yIffe9IXYgVNfIuXUhVyhqsjvG9JjYHtCJrtAyvmlzQCuz1FS TCIasuPSw2nV5Abbqx//cBF44mKWplFWAP5phoECUgqE7CfBxDs= =loNC -----END PGP SIGNATURE----- --FoLtEtfbNGMjfgrs--