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 10:13:30 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="f403045fad48682797056423025a" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52229) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ehAwY-0001fo-Tn for bug-guix@gnu.org; Thu, 01 Feb 2018 04:14:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ehAwU-00039c-OJ for bug-guix@gnu.org; Thu, 01 Feb 2018 04:14:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:43906) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ehAwU-00039K-Ix for bug-guix@gnu.org; Thu, 01 Feb 2018 04:14:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ehAwU-00041W-0W for bug-guix@gnu.org; Thu, 01 Feb 2018 04:14: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 --f403045fad48682797056423025a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 2018-01-31 20:01 GMT+01:00 Ricardo Wurmus : > 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. > > 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. > -- > Ricardo > > > > --f403045fad48682797056423025a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
2018= -01-31 20:01 GMT+01:00 Ricardo Wurmus <ricardo.wurmus@mdc-berli= n.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.

I agree an example would be nice.<= div style=3D"color:rgb(34,34,34);font-family:arial,sans-serif;font-size:sma= ll;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal= ;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;tex= t-transform:none;white-space:normal;word-spacing:0px;text-decoration-style:= initial;text-decoration-color:initial">
I will have a look at this when= I have time.
I guess I = had done something similar.

=C2=A0
--
Ricardo




--f403045fad48682797056423025a--