From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: bug#30312: documentation: misleading EFI partitioning instructions Date: Wed, 31 Jan 2018 20:01:56 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40188) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1egxf0-0005yh-Nl for bug-guix@gnu.org; Wed, 31 Jan 2018 14:03:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1egxew-0005zw-O3 for bug-guix@gnu.org; Wed, 31 Jan 2018 14:03:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:43609) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1egxew-0005zl-KZ for bug-guix@gnu.org; Wed, 31 Jan 2018 14:03:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1egxew-0003II-AA for bug-guix@gnu.org; Wed, 31 Jan 2018 14:03:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:39903) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1egxeE-0005PO-3y for bug-guix@gnu.org; Wed, 31 Jan 2018 14:02:20 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1egxeA-0005Y8-W2 for bug-guix@gnu.org; Wed, 31 Jan 2018 14:02:18 -0500 Received: from pegasus.bbbm.mdc-berlin.de ([141.80.25.20]:49678) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1egxeA-0005Wx-OX for bug-guix@gnu.org; Wed, 31 Jan 2018 14:02:14 -0500 Received: from localhost (localhost [127.0.0.1]) by pegasus.bbbm.mdc-berlin.de (Postfix) with ESMTP id C183F702A53 for ; Wed, 31 Jan 2018 20:02:12 +0100 (CET) Received: from pegasus.bbbm.mdc-berlin.de ([127.0.0.1]) by localhost (pegasus.bbbm.mdc-berlin.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id e04ACMsi0Fd4 for ; Wed, 31 Jan 2018 20:02:07 +0100 (CET) Received: from HTCATWO.mdc-berlin.net (puck.citx.mdc-berlin.de [141.80.36.101]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pegasus.bbbm.mdc-berlin.de (Postfix) with ESMTPS for ; Wed, 31 Jan 2018 20:02:07 +0100 (CET) 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: 30312@debbugs.gnu.org The manual section =E2=80=9CPreparing for Installation: Disk Partitioning= =E2=80=9D says this: --8<---------------cut here---------------start------------->8--- If your disk uses the GUID Partition Table (GPT) format and you plan to install BIOS-based GRUB (which is the default), make sure a BIOS Boot Partition is available (*note (grub)BIOS installation::). If you instead wish to use EFI-based GRUB, a FAT32 =E2=80=9CEFI System Partition=E2=80=9D (ESP) is required. This partition should be mounted a= t =E2=80=98/boot/efi=E2=80=99 and must have the =E2=80=98esp=E2=80=99 flag = set. E.g., for =E2=80=98parted=E2=80=99: parted /dev/sda set 1 esp on Once you are done partitioning the target hard disk drive, you have to create a file system on the relevant partition(s)(1). For the ESP, if you have one and assuming it is =E2=80=98/dev/sda2=E2=80=99, run: mkfs.fat -F32 /dev/sda2 --8<---------------cut here---------------end--------------->8--- 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=99= s 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. --=20 Ricardo