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 10:12:01 +0200
Message-ID: <871scu6k6m.fsf@gnu.org>
References: <idjlggd4ztn.fsf@bimsb-sys02.mdc-berlin.net>
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]:53928)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXj63-0005l3-Ci
	for bug-guix@gnu.org; Tue, 26 Jun 2018 04:13:08 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXj5y-0002Nj-9h
	for bug-guix@gnu.org; Tue, 26 Jun 2018 04:13:07 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:55928)
	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 1fXj5y-0002NR-5w
	for bug-guix@gnu.org; Tue, 26 Jun 2018 04:13:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fXj5x-000413-W1
	for bug-guix@gnu.org; Tue, 26 Jun 2018 04:13:02 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.30312.B30312.153000074215390@debbugs.gnu.org>
In-Reply-To: <idjlggd4ztn.fsf@bimsb-sys02.mdc-berlin.net> (Ricardo Wurmus's
	message of "Wed, 31 Jan 2018 20:01:56 +0100")
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: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Cc: 30312@debbugs.gnu.org

Hello gentlefolks!

Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> skribis:

> First, this sounds like it=E2=80=99s up to the user to pick either EFI-ba=
sed
> GRUB or BIOS-based GRUB.  It is not clear that this is determined by
> whether the machine has a {BIOS, EFI in legacy mode} or EFI.  It=E2=80=99s
> really not much of a choice.
>
> Second, the =E2=80=9Cparted=E2=80=9D command operates on the first partit=
ion (=E2=80=9C1=E2=80=9D), yet
> for the second command the second partition (=E2=80=9C/dev/sda2=E2=80=9D)=
 is used.  It=E2=80=99s
> better to be consistent here, i.e. to change =E2=80=9Cset 1 esp on=E2=80=
=9D to =E2=80=9Cset 2
> esp on=E2=80=9D and to state that this would modify =E2=80=9C/dev/sda2=E2=
=80=9D.
>
> 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?
>
> An example would be useful here.

It=E2=80=99d be nice to fix this before the release.  Anyone could take a l=
ook
to address these issues?

Thanks,
Ludo=E2=80=99.