From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 31 Jan 2018 19:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 30312@debbugs.gnu.org X-Debbugs-Original-To: Received: via spool by submit@debbugs.gnu.org id=B.151742535312622 (code B ref -1); Wed, 31 Jan 2018 19:03:02 +0000 Received: (at submit) by debbugs.gnu.org; 31 Jan 2018 19:02:33 +0000 Received: from localhost ([127.0.0.1]:51506 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1egxeS-0003HV-SK for submit@debbugs.gnu.org; Wed, 31 Jan 2018 14:02:33 -0500 Received: from eggs.gnu.org ([208.118.235.92]:48951) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1egxeQ-0003HI-Vt for submit@debbugs.gnu.org; Wed, 31 Jan 2018 14:02:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1egxeH-0005ao-2A for submit@debbugs.gnu.org; Wed, 31 Jan 2018 14:02:25 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55279) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1egxeG-0005ak-Vc for submit@debbugs.gnu.org; Wed, 31 Jan 2018 14:02:21 -0500 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) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=mdc-berlin.de; h= content-transfer-encoding:content-type:content-type:mime-version :message-id:date:date:subject:subject:from:from:user-agent :received:received:received:received; s=mdc; t=1517425327; x= 1519239728; bh=YJUq0OsHW4/hPMhTmUdFFK8t/gSsliFtWMVtoO+PAhU=; b=T LVuxAHddCObRxv7FEgjrIqYBQCrFsT7jszAgEiUwiNivmE4Sjz0scVh43+OI/nRJ fj+goLDsma/eCFPI+yuriaK/geAY+dkvNF8PQZ8zaxBejJJ7XkzsCB72F9LaMovr fX+yKGVhY33pzkpIZ4stndgjCHzFCVBVjFYbvxuW4k= X-Virus-Scanned: amavisd-new at mdc-berlin.de 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) Received: from SW-IT-P-CAS2.mdc-berlin.net (141.80.113.54) by HTCATWO.mdc-berlin.net (141.80.180.190) with Microsoft SMTP Server (TLS) id 14.3.361.1; Wed, 31 Jan 2018 20:02:07 +0100 Received: from localhost (141.80.113.51) by SW-IT-P-CAS2.mdc-berlin.net (141.80.113.54) with Microsoft SMTP Server id 14.3.361.1; Wed, 31 Jan 2018 20:02:06 +0100 User-agent: mu4e 0.9.18; emacs 25.3.1 From: Ricardo Wurmus X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Wed, 31 Jan 2018 20:01:56 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" X-Originating-IP: [141.80.113.51] X-TM-AS-Product-Ver: SMEX-11.0.0.4283-8.200.1013-23634.001 X-TM-AS-Result: No--0.215900-0.000000-31 X-TM-AS-MatchedID: 705098-703355-105700-702020-702791-121224-702609-186035-7 02358-702762-700023-712032-705450-701499-703417-706249-700756-703454-700007 -702931-703529-707451-712058-701236-707788-148004-148133-42000-42003-63 X-TM-AS-User-Approved-Sender: Yes X-TM-AS-User-Blocked-Sender: No Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) 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 From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 01 Feb 2018 09:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ricardo Wurmus Cc: 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.151747641815425 (code B ref 30312); Thu, 01 Feb 2018 09:14:01 +0000 Received: (at 30312) by debbugs.gnu.org; 1 Feb 2018 09:13:38 +0000 Received: from localhost ([127.0.0.1]:51803 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehAw5-00040i-V0 for submit@debbugs.gnu.org; Thu, 01 Feb 2018 04:13:38 -0500 Received: from mail-it0-f48.google.com ([209.85.214.48]:55256) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehAw4-00040T-72 for 30312@debbugs.gnu.org; Thu, 01 Feb 2018 04:13:37 -0500 Received: by mail-it0-f48.google.com with SMTP id k131so3293215ith.4 for <30312@debbugs.gnu.org>; Thu, 01 Feb 2018 01:13:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=N3wf4r+zm94xoAA0812J7ptHPWrM+H9EH/PgiOk7vZI=; b=MBWnLWAh9gZ6X+ejhdgWG37pMcweH7PrrQ3vFOFJ17VhagvYxqEItdXKdNWXOKsTXm CgTrU8qELoffzrXnpRQoNz79fMe+/jVQhOWfvTWys2QNiIMheNI6PCtLvW6MVmx2ytED zitoTL/EiBVG0o8JZZ9Ikm0mPfC1RhKNdE3tXtqXtoZUdrxzM+z1ELnK+mNPmYQuzvX0 ABTGVfHDmPV5TQPmBPLiuN1HAtj3wGs+Q38QAxyX4ax2cdaTCnZhBEiVuz8xNY82dStA br6EBcSo2Sqoi8VhyuawE1Wb7SYjZsM/0VWE7rVjO7YfvlFOkv15hrF9+87/yo+udtyU 0Yyg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=N3wf4r+zm94xoAA0812J7ptHPWrM+H9EH/PgiOk7vZI=; b=dAUJ3nf/Mb4gPUSX58hi1VIaVzoLlXycLIgrpwu8gVtAaSNIJtX5+76EX68Cy2Btkd 0U7vsNoThRNl1LDJvaSMVshzZrZYIYRllfOK6e/nUw5qToZ1S92kNmNgCUasL5TYGYhh Uwj4W22hn91jbpNJlFMlihAKhjCnjJkBH43rLEwuH71xgZwX36O3IBg09g+PuVWSghib w4qBIAbf1vEFbsalalPzPjj00ST4W4g2GJ9TW5ft3vjYA9E7Wvz2bT/2/gbZB/kRtlYh zp0UYjq+9RcTHOp+iD/n8AQuhRYf5boBUNRr2qcZIlDt30SZ3mAgiPajSt7BU+wDYgDe FNpQ== X-Gm-Message-State: AKwxytc/0U0hcMV7tbizh3hQqqz10mfs9z0ieznSUbWd9bS/JiA1vW0/ UfWJDmCpf9WkmDwYo7Hb3bZg1KXqX3ZBOvUc+g== X-Google-Smtp-Source: AH8x225PiiouXdbIHupVxvORdJSodBqXbDlTz5WG+02dpI82NhtRfaxJEEOCx8JINzmxII6ODNsDNnwsoQAq080Jm7E= X-Received: by 10.36.164.6 with SMTP id z6mr38651259ite.2.1517476410565; Thu, 01 Feb 2018 01:13:30 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.197.4 with HTTP; Thu, 1 Feb 2018 01:13:30 -0800 (PST) In-Reply-To: References: From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Date: Thu, 1 Feb 2018 10:13:30 +0100 Message-ID: Content-Type: multipart/alternative; boundary="f403045fad48682797056423025a" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --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-- From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 01 Feb 2018 11:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ricardo Wurmus Cc: 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.151748288325669 (code B ref 30312); Thu, 01 Feb 2018 11:02:02 +0000 Received: (at 30312) by debbugs.gnu.org; 1 Feb 2018 11:01:23 +0000 Received: from localhost ([127.0.0.1]:51835 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehCcN-0006fw-He for submit@debbugs.gnu.org; Thu, 01 Feb 2018 06:01:23 -0500 Received: from mail-io0-f182.google.com ([209.85.223.182]:44297) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehCcL-0006fk-KV for 30312@debbugs.gnu.org; Thu, 01 Feb 2018 06:01:22 -0500 Received: by mail-io0-f182.google.com with SMTP id z6so18738175iob.11 for <30312@debbugs.gnu.org>; Thu, 01 Feb 2018 03:01:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=ofqBPUJRJi+QgNTvMix79G9L8NujIejpBP4K6cG1bmo=; b=Bq4qZBHuw7PE3Z3tHnmey3KFomL20JQ10oWC5Wz3avjc4lJqz06bnD9U87G8ld3PyH LMhmoKFr3vvDyigMLAO4og+IP9sjIXMHO1xGfOerkUvcn0IzCZlvSS1BAWdWdz4dgOLP L27EJYfiKu8QDeW8LBB+GtpyfV09HNh2ug8LXXMnis9MZot8ON7H0+4bErROixtX4vY1 xHJxTpHUAh8lvM+BgtYZyxSvDV/RrVtBuMslN4Dt1pBf5nI1/N6C923conA5j2ebExzS 0WpVVEp0gOFIFdFlMyZNup6c9XFx5YaIGBRTIWbrqBWzkBjbuLLr5mBknM3OHmte0LK+ dq3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=ofqBPUJRJi+QgNTvMix79G9L8NujIejpBP4K6cG1bmo=; b=VhyrJlzwSDTJ+lk5JjYtZdsfjpI5myAmjmIJiQauB41N6rSF3hCTg7WFuutTuKAll/ 8FT9BF/ZJ0EEVpQBK6L8lg8ogxqhjeLjb1f4lptsldPUAf3mFk41eBBPYk/9T9kqJiLi 4NGAUefIlHvIf4OX9EmCAqFf6NW6c/b2B1BQwIIwly+D/niVbf5yXoEb+1sb9kQmqhAN PXs2PC28FxNtbDJYDg3fcm3X6wsnPa7afvH0dyn5M7FrvcqISxRDbYA8Na7F2yRORkxN +jnS3dkf0uHk9JLcVaapsfQ0abDHlYFnVP3MNI6sOYipZ1070MTTilWByPe012yTMmnP nnPg== X-Gm-Message-State: AKwxytezWevQEO2MY0v31EdHhuEGEk3yOpy3RtQP8g2t3ZOCi0TlxFoT FbXC4NOpvPuuiolaHHe2VW9j9dAgoeedqzPcoA== X-Google-Smtp-Source: AH8x225Kxb3L/MqtwgHpH5G09oi+F8vNa8uXDMGI4FQ7OqXdkBncxvJ10O4cH1d+ADq1zd1OZqtI99+y5R346N94IjU= X-Received: by 10.107.181.201 with SMTP id e192mr36397503iof.89.1517482875638; Thu, 01 Feb 2018 03:01:15 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.197.4 with HTTP; Thu, 1 Feb 2018 03:01:15 -0800 (PST) In-Reply-To: References: From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Date: Thu, 1 Feb 2018 12:01:15 +0100 Message-ID: Content-Type: multipart/alternative; boundary="001a11444d1ac15d6f0564248371" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) --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-- From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: Joshua Branson Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 01 Feb 2018 21:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 30312@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15175215304954 (code B ref -1); Thu, 01 Feb 2018 21:46:02 +0000 Received: (at submit) by debbugs.gnu.org; 1 Feb 2018 21:45:30 +0000 Received: from localhost ([127.0.0.1]:52873 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehMfh-0001Hp-LM for submit@debbugs.gnu.org; Thu, 01 Feb 2018 16:45:30 -0500 Received: from eggs.gnu.org ([208.118.235.92]:39225) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehMQH-0000tf-8Q for submit@debbugs.gnu.org; Thu, 01 Feb 2018 16:29:33 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ehMP8-0002hE-15 for submit@debbugs.gnu.org; Thu, 01 Feb 2018 16:29:28 -0500 Received: from lists.gnu.org ([2001:4830:134:3::11]:36844) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ehMP7-0002gm-Jq for submit@debbugs.gnu.org; Thu, 01 Feb 2018 16:28:21 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:52139) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ehMLF-0004iL-DX for bug-guix@gnu.org; Thu, 01 Feb 2018 16:28:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ehMKB-0005dP-B1 for bug-guix@gnu.org; Thu, 01 Feb 2018 16:24:21 -0500 Received: from out3-smtp.messagingengine.com ([66.111.4.27]:43429) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ehMKA-0005c4-TN for bug-guix@gnu.org; Thu, 01 Feb 2018 16:23:15 -0500 Received: from compute6.internal (compute6.nyi.internal [10.202.2.46]) by mailout.nyi.internal (Postfix) with ESMTP id 0062120BF6 for ; Thu, 1 Feb 2018 16:23:13 -0500 (EST) Received: from web5 ([10.202.2.215]) by compute6.internal (MEProxy); Thu, 01 Feb 2018 16:23:12 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=YaxDCYxYFrYT6KcM7y5PaghLsiXK6 xpPpYxkc9EojsA=; b=AGCfqMFCH2eto8WLdZRraD1lP6i9JJqVtadjFEoUps8ao KBwb6yQWAtT4iKRVi1QGxa1BkPRx7KyFG6mWH1FGV7xrzbGaRWTdWrZKeT1lGFBf bL8nrQbHkRcK8pAO2ZYh5qLPwh+U4UEP1dwPUrv6Kggo7V90C5XK5AS5pr1Myu5a f5HyEgiC18xVCrikIXypmVJkj9W2z3qe2cgBxwITyBVwbSRfYHjYjwUorsodgYfC iJhxNtB1B+HQ2CI6bONd5u1CWj2CT7rlQe5zU6ECsF8njhbQ774DRWCg6DZCXebp FWRCdpBFb41Vf3V2H+Jz+9Izu2/Q23TsI9ofcB+bg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=YaxDCY xYFrYT6KcM7y5PaghLsiXK6xpPpYxkc9EojsA=; b=KfkDtjJaGP9f3UyA34IvuA s/3Kiy21BCitvYQSPtzEgJD2QfiT4s+KWAV1lrs7koL/BUvvjYmsz3jJr3ZljBqb zOcTlHTOiIAjdQHenL3S8xD1KLzqJ19hQJYXdoy9tW3vVJquOoFiUdiD/XjQJBkO V7aMkOLY3IafSBfBCQqFGgtOnfRtzy/kyfQRQD137XddBBAFnSKR32GhBsExps4m s7oD0HY5Kv7+nZTLLxE9RHISoyDDPaB7+NhLuKdlK8I7yDqQbPw+DoFfoYA4f3R/ wIKLWlZPLtkIvfpkPO2ncu39Yso7WNPHLZT5r2kXWnfTANfPUnFjGhHr2VbCqjrg == X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id D0DBE9E0EF; Thu, 1 Feb 2018 16:23:12 -0500 (EST) Message-Id: <1517520192.3013052.1256470944.089A5312@webmail.messagingengine.com> From: Joshua Branson MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: multipart/alternative; boundary="_----------=_151752019230130522" X-Mailer: MessagingEngine.com Webmail Interface - ajax-fde26eb3 Date: Thu, 01 Feb 2018 13:23:12 -0800 In-Reply-To: References: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.4 (----) X-Mailman-Approved-At: Thu, 01 Feb 2018 16:45:28 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.4 (----) This is a multi-part message in MIME format. --_----------=_151752019230130522 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" By no means am I a developer, but that sounds like a good idea. On Thu, Feb 1, 2018, at 3:01 AM, G=C3=A1bor Boskovits wrote: > 2018-02-01 10:13 GMT+01:00 G=C3=A1bor Boskovits : >> 2018-01-31 20:01 GMT+01:00 Ricardo Wurmus > berlin.de>:>>> The manual section =E2=80=9CPreparing for Installation: D= isk >>> Partitioning=E2=80=9D says>>> this: >>>=20 >>> --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 su= re a >>> BIOS Boot>>> Partition is available (*note (grub)BIOS installation::). >>>=20 >>> If you instead wish to use EFI-based GRUB, a FAT32 =E2=80=9CEFI Sys= tem >>> Partition=E2=80=9D (ESP) is required. 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 set. E.g., for =E2=80=98parted=E2=80=99:>>>=20 >>> parted /dev/sda set 1 esp on >>>=20 >>> 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: >>>=20 >>> mkfs.fat -F32 /dev/sda2 >>> --8<---------------cut here---------------end--------------->8--- >>>=20 >>> First, this sounds like it=E2=80=99s up to the user to pick either EFI- >>> based>>> 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. >>>=20 >>> Second, the =E2=80=9Cparted=E2=80=9D command operates on the first par= tition >>> (=E2=80=9C1=E2=80=9D), yet>>> for the second command the second parti= tion (=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. >>>=20 >>> 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?>>>=20 >>> An example would be useful here. >>>=20 >> 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. >>=20 > I've just looked around and found that we have ovmf in our repository.> I= t 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 c= onsistent with a > working testcase.> WDYT?=20 >>=20=20 >>=20 >>> -- >>> Ricardo >>>=20 >>>=20 >>=20 --_----------=_151752019230130522 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="utf-8"
By no means am I a developer, but that sounds like a good idea.<= br>


On Thu, Feb 1, 2018, at 3:01 AM, G=C3=A1bor Boskovits wrote:
I've just looked around and found that we have ovmf in ou= r 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 wor= king testcase.
WDYT? 
 

--
Ricardo

<= br>


--_----------=_151752019230130522-- From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: Carlo Zancanaro Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 01 Feb 2018 22:20:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ricardo Wurmus Cc: 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.15175235607973 (code B ref 30312); Thu, 01 Feb 2018 22:20:01 +0000 Received: (at 30312) by debbugs.gnu.org; 1 Feb 2018 22:19:20 +0000 Received: from localhost ([127.0.0.1]:52892 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehNCR-00024X-SM for submit@debbugs.gnu.org; Thu, 01 Feb 2018 17:19:20 -0500 Received: from mail-wm0-f42.google.com ([74.125.82.42]:56097) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehNCQ-00024J-2y for 30312@debbugs.gnu.org; Thu, 01 Feb 2018 17:19:18 -0500 Received: by mail-wm0-f42.google.com with SMTP id 143so8850374wma.5 for <30312@debbugs.gnu.org>; Thu, 01 Feb 2018 14:19:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=JnXUiDrWL95p/g9WboLhwEBTKBVLf5v9OnIthoiWeuE=; b=R3wuyngAXDPw9TWDDA0AdLvWLpKISLILBrBY68qIAP/Bzle9eyi2Gm7+nisvbIcNId 07FcKmCTdu8ISUaLjaY657fD+LBJrqOzgCyKBIIlFYLtCH1ykwYojLje74zc+xSSifdN Bed1C6sODhTCY7gxdXGkZBT3xu+A/50/nEg7xTfczcGFmPjX0/C0Z6muTWfn6pG3WOeB ao8k7FJSw1r31bIjg6yevJTsJOrKx8gzRBHB4q8gdf/A7tbqtMF6E76lSKEl5scIYK2w DaKVFPL4F5IgpOOPgDjGc6ZXZ4QX1tIHQoIWfYLmMwNzWQf9j9NoFXmU6sqDUM3AqpsR ptBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=JnXUiDrWL95p/g9WboLhwEBTKBVLf5v9OnIthoiWeuE=; b=thGYEcUGmywhEeq8i7kncBRX/BPjK5yqsgUyXz9rtYsoiy95AC0GRllsgiqYuBQl95 nT2yYmYQ2VnLpivma6IwBry+SvjnWgFH8xQFUZ2jcdy0+A7jaBcYF+lssn+4fpPWJgkm WW5nbnirpZ40yu2ef80wmqLSy2vgGXxq1KjR5dH/OLaKvZFRw3OzAO5QT8p1DlqPR5// eZH160j4dJZ3EAfvY6ervftM6CGThU1eFYgnmHV2jOwVaPHepYtp2PrgKM135prOcsUz CswWASBl7yfIH2N9C5REsOMBK0+7R4G9W7+7CJYpaA8ZQYxhW9He0pjHl4RTPPLbMEVP Q/Wg== X-Gm-Message-State: AKwxytcS7+bn6w4+QXPVpl1KjLFC9XcZu5udpqx9XIeChYe4Qwzhhg2Q nTCe8wYYcmGeBAaqsB3xh9nRSDVW X-Google-Smtp-Source: AH8x225SpK/AMb1Dy0dn1Y0kl0XCwwctG567KFU97ep9o3y8lBK+8nrAIV43cETcL/EJ3Zns89xD6A== X-Received: by 10.28.17.17 with SMTP id 17mr30199079wmr.123.1517523552092; Thu, 01 Feb 2018 14:19:12 -0800 (PST) Received: from pidgey ([82.143.119.50]) by smtp.gmail.com with ESMTPSA id h32sm447123wrf.65.2018.02.01.14.19.08 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 01 Feb 2018 14:19:11 -0800 (PST) References: User-agent: mu4e 0.9.18; emacs 25.3.1 From: Carlo Zancanaro In-reply-to: Date: Fri, 02 Feb 2018 09:19:00 +1100 Message-ID: <87vafgcq0b.fsf@zancanaro.id.au> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.5 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.5 (/) --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable On Wed, Jan 31 2018, Ricardo Wurmus wrote: > Finally, it is not clear where the efi partition should be=20 > mounted. > Should it be /mnt/boot/efi? If so, should the configuration=20 > file > specify =E2=80=9C/mnt/boot/efi=E2=80=9D as the target? Or should it be=20 > =E2=80=9C/boot/efi=E2=80=9D? > > An example would be useful here. We have an example in the manual at "(guix) Using the=20 Configuration System" with the following sections: ;; Use the UEFI variant of GRUB with the EFI System ;; Partition mounted on /boot/efi. (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (target "/boot/efi"))) ;; Assume the target root file system is labelled "my-root", ;; and the EFI System Partition has UUID 1234-ABCD. (file-systems (cons* (file-system (device "my-root") (title 'label) (mount-point "/") (type "ext4")) (file-system (device (uuid "1234-ABCD" 'fat)) (title 'uuid) (mount-point "/boot/efi") (type "vfat")) %base-file-systems)) I know that's a completely different section where you're talking=20 about, but maybe it can be referenced/copied in the installation=20 section. I think we should mount the efi partition at /boot/efi=20 during installation, to match the way things will be when we boot=20 into the installed system. Carlo --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEwWt2bKTcV+mIZ20oCShLEsLiKqIFAlpzklQACgkQCShLEsLi KqJ6NAf/RttyZpiVwgqxvzaoQbBwUSv8PQM498O1xmzHgg2LeBTGoxuV1ljuPRSB lq7GWHdSSNFTTMyDZHjI46b76+9/Z9xY4gfgELrN+z07OZgt4WYpMYThlEGBRoma UJoJKIp2O3cBEnGQ2WsGtdtVNplkFjYu4vS9NVmZW3WZTTEYO+p/BqTLsB+6e1kO ScgvdRmpNJzd28zN8Bs0Wz6QfP1f7mf2DK1+pRUe63wINNJO9lECkQKP5dnhlqfO zbTEwEea346+aTiLfpTStV84GD5XqF3abHSvNI/8HXcOsc9gsIyZymnEQXjfzWeC bcrWDDEO3aA5zojVjL2ornkJuK41Eg== =CSYA -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 06 11:05:19 2018 Received: (at control) by debbugs.gnu.org; 6 Feb 2018 16:05:20 +0000 Received: from localhost ([127.0.0.1]:60473 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ej5kF-0003Vf-Ms for submit@debbugs.gnu.org; Tue, 06 Feb 2018 11:05:19 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:58180) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ej5kE-0003VY-LR for control@debbugs.gnu.org; Tue, 06 Feb 2018 11:05:19 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 45D2D10867 for ; Tue, 6 Feb 2018 17:05:18 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id FHLjN_RQcN2a for ; Tue, 6 Feb 2018 17:05:17 +0100 (CET) Received: from ribbon (unknown [193.50.110.200]) by hera.aquilenet.fr (Postfix) with ESMTPSA id BC5FA1068E for ; Tue, 6 Feb 2018 17:05:17 +0100 (CET) Date: Tue, 06 Feb 2018 17:05:17 +0100 Message-Id: <874lmu5cjm.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #30312 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) severity 30312 important From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 26 Jun 2018 08:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ricardo Wurmus Cc: boskovits@gmail.com, Marius Bakke , 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.153000074215390 (code B ref 30312); Tue, 26 Jun 2018 08:13:01 +0000 Received: (at 30312) by debbugs.gnu.org; 26 Jun 2018 08:12:22 +0000 Received: from localhost ([127.0.0.1]:35592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXj5J-00040A-Nt for submit@debbugs.gnu.org; Tue, 26 Jun 2018 04:12:21 -0400 Received: from eggs.gnu.org ([208.118.235.92]:34541) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXj5I-0003zv-23 for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 04:12:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXj5B-0002Bq-Te for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 04:12:14 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:54371) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXj53-00029g-D4; Tue, 26 Jun 2018 04:12:05 -0400 Received: from [193.50.110.137] (port=36578 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fXj51-0003i1-Nt; Tue, 26 Jun 2018 04:12:04 -0400 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: Date: Tue, 26 Jun 2018 10:12:01 +0200 In-Reply-To: (Ricardo Wurmus's message of "Wed, 31 Jan 2018 20:01:56 +0100") Message-ID: <871scu6k6m.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hello gentlefolks! Ricardo Wurmus 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. From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 26 Jun 2018 10:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Ricardo Wurmus Cc: boskovits@gmail.com, 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.15300079161204 (code B ref 30312); Tue, 26 Jun 2018 10:12:02 +0000 Received: (at 30312) by debbugs.gnu.org; 26 Jun 2018 10:11:56 +0000 Received: from localhost ([127.0.0.1]:35658 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXkx1-0000JM-IW for submit@debbugs.gnu.org; Tue, 26 Jun 2018 06:11:55 -0400 Received: from out2-smtp.messagingengine.com ([66.111.4.26]:45593) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXkwz-0000JE-Jh for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 06:11:54 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 5F15A214AC; Tue, 26 Jun 2018 06:11:53 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Tue, 26 Jun 2018 06:11:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= cc:content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= fm3; bh=ZKlo56chtLge+R6vVMxKoXql1Tkmp5AKhnin4w5zyk4=; b=ckBqO2aH znbdLcPVOfgpvgSevIotwy7SDEjepeR/oS1qob+DMmiie0IRN24A5/f2YSr1jp24 ZKHH5HEA6LWCvv78AIu1dwsR1Gje1G281t+TGWx33Y8lM/F942WJp4Y2QpBUn4Xi HdGyIoyMdMTWTOLhj5bHBlYhSgHNyHoF5X4BotxhWBAOxn2cY2yAXY5QW6UVlN+3 GykmJTF6PDHv/EpwbUIc2yWwaP04SflgH4bA7YzEi3mz0jctVbjX8ZD7R4numZXa utwqu0DSzBVPw2cdhSldguN5lxUWvFa/V75o3H7vB3FDHb3a3vHu7/RSnOfGn+X/ 2Ym8V6VCCo9OPA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm3; bh=ZKlo56chtLge+R6vVMxKoXql1Tkmp 5AKhnin4w5zyk4=; b=MBtHcMfJaGppuTOu4BT3u7I/jC4Hzkfndet66dTnJLDdr uiHAi7u/LX3+HgjNbo4kx7RAakiQmjOX/jEbPAkNCogmLnReP21PNFAPT1U23yLe l/zGQ+rQvhv3eitynGdGpBEKWocsWoFsXhYkTwNrvVzO/5JBflIqopUWSxfIuOd2 sFGnFGrNX8g86p2KoPSJBPXJzmHSuq3lcj2eDMGrE3+uIiDJrPwuSHGV/cs6ivaz H/3/+rKlwM78GCx8s0qGuMHmWbas3TWPmE9G+oaSj1ygrAWYT2gOKTs1XEFK6h5v Br9/uuMvOc1mn3vZVE52+lTM0l05xTuqmxcdQbQSw== X-ME-Proxy: X-ME-Sender: Received: from localhost (cm-84.214.174.185.getinternet.no [84.214.174.185]) by mail.messagingengine.com (Postfix) with ESMTPA id C007810298; Tue, 26 Jun 2018 06:11:52 -0400 (EDT) From: Marius Bakke In-Reply-To: <871scu6k6m.fsf@gnu.org> References: <871scu6k6m.fsf@gnu.org> User-Agent: Notmuch/0.27 (https://notmuchmail.org) Emacs/26.1 (x86_64-pc-linux-gnu) Date: Tue, 26 Jun 2018 12:11:51 +0200 Message-ID: <871sctzwk8.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hello gentlefolks! > > Ricardo Wurmus skribis: > >> 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. > > It=E2=80=99d be nice to fix this before the release. Anyone could take a= look > to address these issues? I've tried to address the latter issue in . 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. Here is a patch addressing the second issue: --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=0001-doc-Use-a-consistent-partitioning-scheme.patch Content-Transfer-Encoding: quoted-printable From=2028b1aff2f0a78e7736c214880bbcfce1c0135346 Mon Sep 17 00:00:00 2001 From: Marius Bakke 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 ESP= as /dev/sda1; root file system as /dev/sda2; and swap as /dev/sda3. =2D-- doc/guix.texi | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index da05a200a..d3375601a 100644 =2D-- a/doc/guix.texi +++ b/doc/guix.texi @@ -8641,21 +8641,21 @@ create a file system on the relevant partition(s)@f= ootnote{Currently GuixSD only supports ext4 and btrfs file systems. In particular, code that reads file system UUIDs and labels only works for these file system types.}. For the ESP, if you have one and assuming it is =2D@file{/dev/sda2}, run: +@file{/dev/sda1}, run: =20 @example =2Dmkfs.fat -F32 /dev/sda2 +mkfs.fat -F32 /dev/sda1 @end example =20 Preferably, assign file systems a label so that you can easily and reliably refer to them in @code{file-system} declarations (@pxref{File Systems}). This is typically done using the @code{-L} option of @command{mkfs.ext4} and related commands. So, assuming the target root =2Dpartition lives at @file{/dev/sda1}, a file system with the label +partition lives at @file{/dev/sda2}, a file system with the label @code{my-root} can be created with: =20 @example =2Dmkfs.ext4 -L my-root /dev/sda1 +mkfs.ext4 -L my-root /dev/sda2 @end example =20 @cindex encrypted disk @@ -8663,12 +8663,12 @@ If you are instead planning to encrypt the root par= tition, you can use the Cryptsetup/LUKS utilities to do that (see @inlinefmtifelse{html, @uref{https://linux.die.net/man/8/cryptsetup, @code{man cryptsetup}}, @code{man cryptsetup}} for more information.) Assuming you want to =2Dstore the root partition on @file{/dev/sda1}, the command sequence would +store the root partition on @file{/dev/sda2}, the command sequence would be along these lines: =20 @example =2Dcryptsetup luksFormat /dev/sda1 =2Dcryptsetup open --type luks /dev/sda1 my-partition +cryptsetup luksFormat /dev/sda2 +cryptsetup open --type luks /dev/sda2 my-partition mkfs.ext4 -L my-root /dev/mapper/my-partition @end example =20 @@ -8688,11 +8688,11 @@ by @code{guix system init} afterwards. Finally, if you plan to use one or more swap partitions (@pxref{Memory Concepts, swap space,, libc, The GNU C Library Reference Manual}), make sure to initialize them with @command{mkswap}. Assuming you have one =2Dswap partition on @file{/dev/sda2}, you would run: +swap partition on @file{/dev/sda3}, you would run: =20 @example =2Dmkswap /dev/sda2 =2Dswapon /dev/sda2 +mkswap /dev/sda3 +swapon /dev/sda3 @end example =20 Alternatively, you may use a swap file. For example, assuming that in =2D-=20 2.18.0 --=-=-= Content-Type: text/plain 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. We could also make it clearer when booting whether the installer is in "UEFI" mode or not. --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlsyEWcACgkQoqBt8qM6 VPqdQQf/VnbXhLXTgb7dLLRw2YpX2EBJuXe5PXdxnCvl69GUjbq2+8YV60a3d7x5 z9m4VHfhzI7M5v6jlrJkhNR67XHzsTvhIE2GEXyUdv6Yyo2abgT1RkKL9gxQA8sz 2kJ3f3P/resIQNigLVS/tUxLwTLW2rluLzO1TPZoBPfd+UXhTRzJTfE2ehvMiZLo BDZsrfUZRvWeEEJYFJjNCjfHRreCB2v5sr5FsGTqpvTnpPD0xGn3VClFGMjR0Yz5 Xtvc5C54jNoQxnKhmATUDjZ175p2/0F4dh7/m80wcjjhK47pfrQiDzcw+udUoic7 hMK1oQykmgFpk4iOoTcL8MOCjnVM2A== =SM/L -----END PGP SIGNATURE----- --==-=-=-- From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 26 Jun 2018 13:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Marius Bakke Cc: boskovits@gmail.com, Ricardo Wurmus , 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.153002134930330 (code B ref 30312); Tue, 26 Jun 2018 13:56:02 +0000 Received: (at 30312) by debbugs.gnu.org; 26 Jun 2018 13:55:49 +0000 Received: from localhost ([127.0.0.1]:36307 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXoRg-0007t8-G0 for submit@debbugs.gnu.org; Tue, 26 Jun 2018 09:55:48 -0400 Received: from eggs.gnu.org ([208.118.235.92]:44460) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXoRe-0007t2-MX for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 09:55:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXoRY-0000JI-H5 for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 09:55:41 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:58112) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXoRU-0000Gx-8W; Tue, 26 Jun 2018 09:55:36 -0400 Received: from [193.50.110.137] (port=37212 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fXoRT-00056d-Ql; Tue, 26 Jun 2018 09:55:36 -0400 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 8 Messidor an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 26 Jun 2018 15:55:33 +0200 In-Reply-To: <871sctzwk8.fsf@fastmail.com> (Marius Bakke's message of "Tue, 26 Jun 2018 12:11:51 +0200") Message-ID: <877eml4ppm.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hi Marius! Marius Bakke skribis: >> Ricardo Wurmus 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 . > > 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 > 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. From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 26 Jun 2018 15:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: boskovits@gmail.com, Ricardo Wurmus , 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.153002632413453 (code B ref 30312); Tue, 26 Jun 2018 15:19:02 +0000 Received: (at 30312) by debbugs.gnu.org; 26 Jun 2018 15:18:44 +0000 Received: from localhost ([127.0.0.1]:36393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXpjv-0003Uv-Ss for submit@debbugs.gnu.org; Tue, 26 Jun 2018 11:18:44 -0400 Received: from out2-smtp.messagingengine.com ([66.111.4.26]:40047) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXpjt-0003Um-P7 for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 11:18:42 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id A96C721AFE; Tue, 26 Jun 2018 11:18:41 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Tue, 26 Jun 2018 11:18:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= cc:content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= fm3; bh=6RVHcmGF3HPYi2fA1jqK4VBJYJCglyEIAO1XhTbtquM=; b=qOLUEodB FXlQqGSTrnPubTsJEYuBxmUvWqRiKh5Ady8sY6qAVEJUVzVaf6wJnp7MXPKIYI/v rgEaqEnEij1sQwXGOER+v6VadsyhwPBFn40fY/wvZJh3MShuQ9NUtn+cs/+Adqjr uyXF6YeKlx7wxhPSMTyvujFtFEzQTsYZmEjOimH6lcuhUQCH/UKwd/5s8bNqmzjN APXrraEexNNH6O9K6bYgbOw7pu5STfIbYSbbfzUIGYiRVhAkWVxBKkmENgSY8ici 5HcCeOmxy01IRI/kDWkbixI9IXwTlD8pz77lYxKCNsoMukXNimVN03DrGE5QV3WQ 0hQ4F6OkPVGScw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm3; bh=6RVHcmGF3HPYi2fA1jqK4VBJYJCgl yEIAO1XhTbtquM=; b=TZHEXCVDlnIR737sqizko5MPDLVSZAzJqenPWdklMRCnk jWhCB24+PYIM5pN5nydmQ0NUEPV3UjMdUhStlrjEXlxPOoVxgLCTTrHIReFME6dV 16U6wuD4fuNxFeIPpJAclrb8rdC3nITGVgNLcB6v9pj9x8QL+kKLAfBZuKSu+7+E AmmKDt5podKWtiSABsIywuXbJluz7mSUMHozlt/+5seRRsBfpWwxd1wo2We9NpRQ ZncLxlJbTLfl4eRUS6MhgWObcLecH0PmcGougK8Ii1NM4DSGj70pY3uSiukrUCN6 HwopCBcp///ADWNJesuoqKpopoZi49SmiqsG2EpRg== X-ME-Proxy: X-ME-Sender: Received: from localhost (cm-84.214.174.185.getinternet.no [84.214.174.185]) by mail.messagingengine.com (Postfix) with ESMTPA id 1A97810291; Tue, 26 Jun 2018 11:18:40 -0400 (EDT) From: Marius Bakke In-Reply-To: <877eml4ppm.fsf@gnu.org> References: <871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com> <877eml4ppm.fsf@gnu.org> User-Agent: Notmuch/0.27 (https://notmuchmail.org) Emacs/26.1 (x86_64-pc-linux-gnu) Date: Tue, 26 Jun 2018 17:18:39 +0200 Message-ID: <87h8lpy3sg.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hi Marius! > > Marius Bakke skribis: > >>> Ricardo Wurmus 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 b= e =E2=80=9C/boot/efi=E2=80=9D? > > [...] > >> I've tried to address the latter issue in . >> >> 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? Yes, both should work at "guix system init" time, even if they only specify "/boot/efi" in the configuration file. > I think #31959 can be applied. Excellent, I'll push it shortly. >> From 28b1aff2f0a78e7736c214880bbcfce1c0135346 Mon Sep 17 00:00:00 2001 >> From: Marius Bakke >> 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 = ESP as >> /dev/sda1; root file system as /dev/sda2; and swap as /dev/sda3. > > Go for it! Staged for inclusion! >> 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 = how to do that in a > clean way. I was thinking a visual hint when booting the live USB, e.g. in the motd: (if (file-exists? "/sys/firmware/efi") "Welcome to the GuixSD installation image (UEFI mode)!". "Welcome to the GuixSD installation image!") I think Debian does something like this in the boot menu (IIRC). > 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. Yes, documentation needs more tweaks. As Ricardo mentioned, using EFI is not really optional once you've booted with it. Leaving this bug open still, suggestions welcome! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlsyWU8ACgkQoqBt8qM6 VPoWXgf/V1QcoWDZYZB24h25rDlgVYXDYAgw7+HqD3lUGYThidouVfuSNsrswjq1 nfQsgqxUwjJHTfvEQ5F9CyVsPgP1u8tkBcqdWNUzZ0UMYfc91w50jz7wu3xgs+AM C34AwNtNU0w+y4No5Su9R1wq1x2etwJFju93JhDlQItMWBZDer0sAdsgq5cYyIDP RFZGrJm1eWVzmvUY8a6eRu6D5HZwrdYeoITpjfMiLXJi0/HxDQhrIArqvb2icBRQ vrJZwK6PpY77/o7AV6yyU1zhn7EvPPRLphlIvr4qWYRDlBqvQddqWVRVdJHKLNla oYleF0A2tG6vOZ5X9//rUUQelPw/ew== =QhyW -----END PGP SIGNATURE----- --=-=-=-- From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 26 Jun 2018 20:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Marius Bakke Cc: boskovits@gmail.com, Ricardo Wurmus , 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.15300440607510 (code B ref 30312); Tue, 26 Jun 2018 20:15:01 +0000 Received: (at 30312) by debbugs.gnu.org; 26 Jun 2018 20:14:20 +0000 Received: from localhost ([127.0.0.1]:36631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXuM0-0001x4-DF for submit@debbugs.gnu.org; Tue, 26 Jun 2018 16:14:20 -0400 Received: from eggs.gnu.org ([208.118.235.92]:35379) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXuLz-0001wt-IG for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 16:14:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXuLt-0003gm-FL for 30312@debbugs.gnu.org; Tue, 26 Jun 2018 16:14:14 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:36612) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXuLr-0003fF-NL; Tue, 26 Jun 2018 16:14:11 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40588 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fXuLr-0000qh-Al; Tue, 26 Jun 2018 16:14:11 -0400 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com> <877eml4ppm.fsf@gnu.org> <87h8lpy3sg.fsf@fastmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 8 Messidor an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 26 Jun 2018 22:14:09 +0200 In-Reply-To: <87h8lpy3sg.fsf@fastmail.com> (Marius Bakke's message of "Tue, 26 Jun 2018 17:18:39 +0200") Message-ID: <87k1ql2tm6.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Marius Bakke skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: [...] >>> 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= how to do that in a >> clean way. > > I was thinking a visual hint when booting the live USB, e.g. in the > motd: > > (if (file-exists? "/sys/firmware/efi") > "Welcome to the GuixSD installation image (UEFI mode)!". > "Welcome to the GuixSD installation image!") > > I think Debian does something like this in the boot menu (IIRC). The body is just plain static text, so I=E2=80=99m not sure how we could do this. We=E2=80=99d need a bit of code to do that in /etc/profile or someth= ing. Ideas? Thanks, Ludo=E2=80=99. From unknown Fri Jun 13 10:12:08 2025 X-Loop: help-debbugs@gnu.org Subject: bug#30312: documentation: misleading EFI partitioning instructions Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 05 Jul 2018 09:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30312 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Marius Bakke Cc: boskovits@gmail.com, Ricardo Wurmus , 30312@debbugs.gnu.org Received: via spool by 30312-submit@debbugs.gnu.org id=B30312.153078470311652 (code B ref 30312); Thu, 05 Jul 2018 09:59:01 +0000 Received: (at 30312) by debbugs.gnu.org; 5 Jul 2018 09:58:23 +0000 Received: from localhost ([127.0.0.1]:47240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fb11q-00031s-OB for submit@debbugs.gnu.org; Thu, 05 Jul 2018 05:58:22 -0400 Received: from eggs.gnu.org ([208.118.235.92]:60659) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fb11p-00031g-BO for 30312@debbugs.gnu.org; Thu, 05 Jul 2018 05:58:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fb11g-0007Q7-6A for 30312@debbugs.gnu.org; Thu, 05 Jul 2018 05:58:16 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53540) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fb11g-0007Ph-2G; Thu, 05 Jul 2018 05:58:12 -0400 Received: from [193.50.110.150] (port=34570 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fb11f-0002E3-Ka; Thu, 05 Jul 2018 05:58:11 -0400 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <871scu6k6m.fsf@gnu.org> <871sctzwk8.fsf@fastmail.com> <877eml4ppm.fsf@gnu.org> <87h8lpy3sg.fsf@fastmail.com> <87k1ql2tm6.fsf@gnu.org> Date: Thu, 05 Jul 2018 11:58:09 +0200 In-Reply-To: <87k1ql2tm6.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 26 Jun 2018 22:14:09 +0200") Message-ID: <8736wyf1hq.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hi! I ended up simply improving the manual in commit fc0e663f782896f542d008c871d21b9cf636a75c. Maybe we can do better next time, like have =E2=80=98guix system init=E2=80= =99 provide hints or something. Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 12 18:06:57 2018 Received: (at control) by debbugs.gnu.org; 12 Jul 2018 22:06:57 +0000 Received: from localhost ([127.0.0.1]:57486 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdjjl-0007cj-08 for submit@debbugs.gnu.org; Thu, 12 Jul 2018 18:06:57 -0400 Received: from wout4-smtp.messagingengine.com ([64.147.123.20]:52459) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdjjh-0007cY-OY for control@debbugs.gnu.org; Thu, 12 Jul 2018 18:06:55 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.west.internal (Postfix) with ESMTP id 07975557 for ; Thu, 12 Jul 2018 18:06:52 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Thu, 12 Jul 2018 18:06:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= content-type:date:from:message-id:mime-version:subject:to :x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=YHmupaDDE1zLw8ygM QaXE2dnKfTyzDykHfiMk/rKFN8=; b=CrWhXtutEwpfbO+Ezk+2NCqh+rLb+O1Zn zKKfUj/opRUtRNY0FDzl3i1JgxVJzbBEdh/f4oCI2ogQ0qbHeEy7fjYRz4r4z+K2 I4yGE+nA+hC4i9M09Tyzdep7+jakt5yIzpDBaEWdct8d3ejVwkV4z4ixf3OQm8Zw qV/msnBIYJ4z65MAuuv0lVj3R1YhqV/v/rW80Vy62yr1bR4oeemP5EfmeS1oBJeP Pj/I312vlTXysxk9/kZesbZhreKBd3LwrLjLtY6jQKJFqV3J3emRkAKu18cKMkxp i98aLDQt9E1e8l6y1009uU5wQXrkqtZtVFqTjH67bkDZ+QKWKj4uA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= fm3; bh=YHmupaDDE1zLw8ygMQaXE2dnKfTyzDykHfiMk/rKFN8=; b=gBkJdCJ6 YKycaMUmXDAI30PLqHFSn7pLgeYoMXsYQJnA9lNMmRiefuqzarCgGH3pS93JkfCV G7xxilhYV3r2wa+7VGByjsAnCuquxaNfH9MvWZ/nK/JEi1WNdfOK9/RwdjyWRQ1k oa610tQG/ThFIBlExcxhnGJ5joej8FqJEmIONGqJdMSsXZkT4uv5Rs3H+7CDVykj gmjQsDRaOWxjFtaKdPt5XbhtOT0s5yazvG3TUegtWvYfhhUF1yEajFgX2Z8cbh6u MInL+rddFNOhM54ribe+K4BGWRFmuBDqvrccT0yOIOu5EIB+oXVVSbsH8Rx8kYpx 7p4pEdIEKFP4+g== X-ME-Proxy: X-ME-Sender: Received: from localhost (95.92-221-151.customer.lyse.net [92.221.151.95]) by mail.messagingengine.com (Postfix) with ESMTPA id 2806F1026B for ; Thu, 12 Jul 2018 18:06:52 -0400 (EDT) From: Marius Bakke To: control@debbugs.gnu.org Subject: Fixed in 0.15 User-Agent: Notmuch/0.27 (https://notmuchmail.org) Emacs/26.1 (x86_64-pc-linux-gnu) Date: Fri, 13 Jul 2018 00:06:50 +0200 Message-ID: <87601k6rd1.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) close 30312
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-------------&= gt;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 B= oot
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 at
=E2=80=98/boot/efi=E2=80=99 and must have the =E2=80=98esp=E2=80=99 f= lag 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 driv= e, you have
to create a file system on the relevant partition(s)(1).  For th= e ESP,
if you have one and assuming it is =E2=80=98/dev/sda2=E2=80=99, run:<= br>

     mkfs.fat -F32 /dev/sda2
--8<---------------cut here---------------end---------------&= gt;8---

First, this sounds like it=E2=80=99s up to the user to pick either EF= I-based
GRUB or BIOS-based GRUB.  It is not clear that this is determine= d 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 pa= rtition (=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/sda= 2=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 fil= e
specify =E2=80=9C/mnt/boot/efi=E2=80=9D as the target?  Or shoul= d 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 si= milar.