From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: bug#30312: documentation: misleading EFI partitioning instructions Date: Tue, 26 Jun 2018 17:18:39 +0200 Message-ID: <87h8lpy3sg.fsf@fastmail.com> References: <871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com> <877eml4ppm.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54901) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXpkJ-0000VE-D7 for bug-guix@gnu.org; Tue, 26 Jun 2018 11:19:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXpkE-00033J-Hs for bug-guix@gnu.org; Tue, 26 Jun 2018 11:19:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:56729) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fXpkE-00032a-Dj for bug-guix@gnu.org; Tue, 26 Jun 2018 11:19:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fXpkE-0003VQ-20 for bug-guix@gnu.org; Tue, 26 Jun 2018 11:19:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <877eml4ppm.fsf@gnu.org> 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: Ricardo Wurmus , 30312@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hi Marius! > > Marius Bakke skribis: > >>> Ricardo Wurmus skribis: >>> >>>> 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 =E2=80=9C/mnt/boot/efi=E2=80=9D as the target? Or should it b= e =E2=80=9C/boot/efi=E2=80=9D? > > [...] > >> I've tried to address the latter issue in . >> >> I tested it by installing in a virtual machine with the ESP mounted at >> "/mnt/boot/efi", using a Guix snapshot that included that commit. It >> also works on my installed system with the ESP on /boot/efi. > > So with #31959 applied, users can mount to /boot/efi or /mnt/boot/efi, > and both will work, right? Yes, both should work at "guix system init" time, even if they only specify "/boot/efi" in the configuration file. > I think #31959 can be applied. Excellent, I'll push it shortly. >> From 28b1aff2f0a78e7736c214880bbcfce1c0135346 Mon Sep 17 00:00:00 2001 >> From: Marius Bakke >> Date: Tue, 26 Jun 2018 11:59:51 +0200 >> Subject: [PATCH] doc: Use a consistent partitioning scheme. >> >> * doc/guix.texi (Preparing for Installation): Consistently refer to the = ESP as >> /dev/sda1; root file system as /dev/sda2; and swap as /dev/sda3. > > Go for it! Staged for inclusion! >> I'm not sure how to best resolve the first issue. I suppose we can >> mention that if unsure which GRUB to use, the user can test whether >> "/sys/firmware/efi" exists on the live image. >>=20 >> We could also make it clearer when booting whether the installer is in >> "UEFI" mode or not. > > Maybe =E2=80=98guix system=E2=80=99 could warn, but I=E2=80=99m not sure = how to do that in a > clean way. I was thinking a visual hint when booting the live USB, e.g. in the motd: (if (file-exists? "/sys/firmware/efi") "Welcome to the GuixSD installation image (UEFI mode)!". "Welcome to the GuixSD installation image!") I think Debian does something like this in the boot menu (IIRC). > Or at the very least we can document it. Perhaps we need to add a =E2=80= =9CUEFI > vs. BIOS=E2=80=9D section in the manual. Yes, documentation needs more tweaks. As Ricardo mentioned, using EFI is not really optional once you've booted with it. Leaving this bug open still, suggestions welcome! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlsyWU8ACgkQoqBt8qM6 VPoWXgf/V1QcoWDZYZB24h25rDlgVYXDYAgw7+HqD3lUGYThidouVfuSNsrswjq1 nfQsgqxUwjJHTfvEQ5F9CyVsPgP1u8tkBcqdWNUzZ0UMYfc91w50jz7wu3xgs+AM C34AwNtNU0w+y4No5Su9R1wq1x2etwJFju93JhDlQItMWBZDer0sAdsgq5cYyIDP RFZGrJm1eWVzmvUY8a6eRu6D5HZwrdYeoITpjfMiLXJi0/HxDQhrIArqvb2icBRQ vrJZwK6PpY77/o7AV6yyU1zhn7EvPPRLphlIvr4qWYRDlBqvQddqWVRVdJHKLNla oYleF0A2tG6vOZ5X9//rUUQelPw/ew== =QhyW -----END PGP SIGNATURE----- --=-=-=--