#47889 - [installer image] grub-install efi fails getting canonical path to /boot/efi on dos-formatted disk

Package	Source(s)		Maintainer(s)
guix		PTS Buildd Popcon

Message #22 received at 47889@debbugs.gnu.org (full text, mbox, reply):

Received: (at 47889) by debbugs.gnu.org; 22 Apr 2021 14:39:07 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 22 10:39:07 2021
Received: from localhost ([127.0.0.1]:35246 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1lZaTz-00070i-JO
	for submit@debbugs.gnu.org; Thu, 22 Apr 2021 10:39:07 -0400
Received: from pelzflorian.de ([5.45.111.108]:53724 helo=mail.pelzflorian.de)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <pelzflorian@pelzflorian.de>) id 1lZaTu-00070E-7j
 for 47889@debbugs.gnu.org; Thu, 22 Apr 2021 10:39:06 -0400
Received: from pelzflorian.localdomain (unknown [5.45.111.108])
 by mail.pelzflorian.de (Postfix) with ESMTPSA id 8B16D36063C;
 Thu, 22 Apr 2021 16:39:00 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de;
 s=mail; t=1619102340;
 bh=U1ydAKW7mmOqxf4Jpt0sg+Q9B2+AJMdS2ZxTsGFLqe8=;
 h=Date:From:To:Cc:Subject:References:In-Reply-To;
 b=uAs5eezLG64wVLmNvplNh2GHAUqbwKU85mo+WvoTyJRCAu5myWLta0JbJiCk7b95a
 xzzrPTlxJjgkxogZfrg6hgcRt4HzJLwnAk1lPziluqe0mSLAuF6O7WVYE4WBkpzG7O
 mt27wbgRqx1+611cUMOt4MiM4UbYSkDP4uw56oKM=
Date: Thu, 22 Apr 2021 16:38:52 +0200
From: "pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de>
To: Ludovic Courtès <ludo@gnu.org>
Subject: Re: bug#47889: [installer image] grub-install efi fails getting
 canonical path to /boot/efi on dos-formatted disk
Message-ID: <20210422143651.fwdrrqmcw225eh23@pelzflorian.localdomain>
References: <20210419092928.p426llfdlvb5ay3z@pelzflorian.localdomain>
 <878s5a1m9k.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <878s5a1m9k.fsf@gnu.org>
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 47889
Cc: 47889@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

On Thu, Apr 22, 2021 at 03:28:39PM +0200, Ludovic Courtès wrote:
> There’s no EFI (vfat) partition here.  Is it an EFI machine?
> 
> Is /boot/efi mounted when you boot the installation image?

No because there is no EFI partition.  If I create one and restart the
installer, then it is *not* mounted either, only /mnt/boot/efi later
during the install.  (I believe since the installer is installed as on
an external medium, it does not need an EFI partition.)

I had booted the install image via UEFI boot and had expected auto
partitioning and the default configuration to do the right thing.

> If it were EFI, it would be a GPT partition table, not a DOS one.

Thank you for explaining.  If Guix defaults require GPT on EFI
(according to
<https://wiki.archlinux.org/index.php/EFI_system_partition#Create_the_partition>)
some computers apparently really do not support dos partition tables
for the EFI system partition), then I think
gnu/installer/newt/partition.scm should disallow selecting a DOS
scheme when auto partitioning the entire disk.

Regards,
Florian

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 08:43:23 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#47889 [installer image] grub-install efi fails getting canonical path to /boot/efi on dos-formatted disk