From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#30312: documentation: misleading EFI partitioning instructions
Date: Tue, 26 Jun 2018 15:55:33 +0200
Message-ID: <877eml4ppm.fsf@gnu.org>
References: <idjlggd4ztn.fsf@bimsb-sys02.mdc-berlin.net>
	<871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35589)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXoRw-0008Ns-2C
	for bug-guix@gnu.org; Tue, 26 Jun 2018 09:56:08 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXoRu-0000ax-UE
	for bug-guix@gnu.org; Tue, 26 Jun 2018 09:56:04 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:56643)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1fXoRu-0000a2-Q3
	for bug-guix@gnu.org; Tue, 26 Jun 2018 09:56:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXoRu-0007tQ-7B
	for bug-guix@gnu.org; Tue, 26 Jun 2018 09:56:02 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.30312.B30312.153002134930330@debbugs.gnu.org>
In-Reply-To: <871sctzwk8.fsf@fastmail.com> (Marius Bakke's message of "Tue, 26
	Jun 2018 12:11:51 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Marius Bakke <mbakke@fastmail.com>
Cc: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>, 30312@debbugs.gnu.org

Hi Marius!

Marius Bakke <mbakke@fastmail.com> skribis:

>> Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> 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 be=
 =E2=80=9C/boot/efi=E2=80=9D?

[...]

> I've tried to address the latter issue in <https://bugs.gnu.org/31959>.
>
> 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?

I think #31959 can be applied.

> From 28b1aff2f0a78e7736c214880bbcfce1c0135346 Mon Sep 17 00:00:00 2001
> From: Marius Bakke <mbakke@fastmail.com>
> 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 E=
SP as
> /dev/sda1; root file system as /dev/sda2; and swap as /dev/sda3.

Go for it!

> 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 ho=
w to do that in a
clean way.

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.

Ludo=E2=80=99.