From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Subject: bug#30312: documentation: misleading EFI partitioning instructions Date: Thu, 1 Feb 2018 12:01:15 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a11444d1ac15d6f0564248371" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33492) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ehCdA-0005qg-NO for bug-guix@gnu.org; Thu, 01 Feb 2018 06:02:18 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ehCd1-00045v-00 for bug-guix@gnu.org; Thu, 01 Feb 2018 06:02:12 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:43938) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ehCd0-00045j-RF for bug-guix@gnu.org; Thu, 01 Feb 2018 06:02:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ehCd0-0006gr-A3 for bug-guix@gnu.org; Thu, 01 Feb 2018 06:02:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: 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: Ricardo Wurmus Cc: 30312@debbugs.gnu.org --001a11444d1ac15d6f0564248371 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 2018-02-01 10:13 GMT+01:00 G=C3=A1bor Boskovits : > 2018-01-31 20:01 GMT+01:00 Ricardo Wurmus : > >> The manual section =E2=80=9CPreparing for Installation: Disk Partitionin= g=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 Syste= m >> Partition=E2=80=9D (ESP) is required. This partition should be mounted = at >> =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-b= ased >> 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 parti= tion (=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. >> >> I agree an example would be nice. > I will have a look at this when I have time. > I guess I had done something similar. > > I've just looked around and found that we have ovmf in our repository. It would be nice if we could create a system test and use an ovmf qemu to test installation. Once we have that we could get the documentation consistent with a working testcase. WDYT? > > >> -- >> Ricardo >> >> >> >> > --001a11444d1ac15d6f0564248371 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
2018= -02-01 10:13 GMT+01:00 G=C3=A1bor Boskovits <boskovits@gmail.com&g= t;:
2018-01-31 = 20:01 GMT+01:00 Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>:
The manual section =E2= =80=9CPreparing for Installation: Disk Partitioning=E2=80=9D says
this:

--8<---------------cut here---------------start------------->8--= -
=C2=A0 =C2=A0If your disk uses the GUID Partition Table (GPT) format and yo= u plan
to install BIOS-based GRUB (which is the default), make sure a BIOS Boot Partition is available (*note (grub)BIOS installation::).

=C2=A0 =C2=A0If you instead wish to use EFI-based GRUB, a FAT32 =E2=80=9CEF= I System
Partition=E2=80=9D (ESP) is required.=C2=A0 This partition should be mounte= d at
=E2=80=98/boot/efi=E2=80=99 and must have the =E2=80=98esp=E2=80=99 flag se= t.=C2=A0 E.g., for =E2=80=98parted=E2=80=99:

=C2=A0 =C2=A0 =C2=A0parted /dev/sda set 1 esp on

=C2=A0 =C2=A0Once you are done partitioning the target hard disk drive, you= have
to create a file system on the relevant partition(s)(1).=C2=A0 For the ESP,=
if you have one and assuming it is =E2=80=98/dev/sda2=E2=80=99, run:

=C2=A0 =C2=A0 =C2=A0mkfs.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-base= d
GRUB or BIOS-based GRUB.=C2=A0 It is not clear that this is determined by whether the machine has a {BIOS, EFI in legacy mode} or EFI.=C2=A0 It=E2=80= =99s
really not much of a choice.

Second, the =E2=80=9Cparted=E2=80=9D command operates on the first partitio= n (=E2=80=9C1=E2=80=9D), yet
for the second command the second partition (=E2=80=9C/dev/sda2=E2=80=9D) i= s used.=C2=A0 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?=C2=A0 If so, should the configuration file
specify =E2=80=9C/mnt/boot/efi=E2=80=9D as the target?=C2=A0 Or should it b= e =E2=80=9C/boot/efi=E2=80=9D?

An example would be useful here.



--001a11444d1ac15d6f0564248371--