From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joshua Branson Subject: bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi Date: Thu, 03 Jan 2019 05:53:07 -0500 Message-ID: <87k1jmf1ws.fsf@dismail.de> References: <871s5v8ahu.fsf@dismail.de> <877efmzoe0.fsf@ngyro.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:40031) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gf6ZK-0002aS-3K for bug-guix@gnu.org; Thu, 03 Jan 2019 12:14:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gf6ZG-0004L3-Vz for bug-guix@gnu.org; Thu, 03 Jan 2019 12:14:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:35558) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gf6ZG-0004Jn-MI for bug-guix@gnu.org; Thu, 03 Jan 2019 12:14:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gf6ZG-0007Xc-BE for bug-guix@gnu.org; Thu, 03 Jan 2019 12:14:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <877efmzoe0.fsf@ngyro.com> (Timothy Sample's message of "Wed, 02 Jan 2019 17:27:19 -0500") 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: 33953@debbugs.gnu.org --=-=-= Content-Type: text/plain Timothy Sample writes: > Hi Joshua, > > Joshua Branson writes: > > > I agree with you that the manual could be more clear. In the > installation section, it mentions needing an EFI partition that is > mounted, but it never spells out that this needs to be included in the > operating system configuration. I am not sure how exactly to fix it > though. If you were willing propose something, that would be very > helpful! Perhaps for now, I'll just throw in this patch that modifies an guix/system/examples desktop file. The "full blown" desktop has a UEFI boot, but it does not show the (file-system (type "vfat") ...) example. This patch should fix that. The "light weight window manager" in the manual does have a (file-system (type "vfat") ...). --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-I-modified-the-UEFI-desktop-example-to-include-the-f.patch Content-Description: vfat patch >From 0d35f5c6a73dc97959779f727c25e81de9192680 Mon Sep 17 00:00:00 2001 From: Joshua Branson Date: Thu, 3 Jan 2019 05:47:23 -0500 Subject: [PATCH] I modified the UEFI desktop example to include the (file-system (type "vfat") ...) --- gnu/system/examples/desktop.tmpl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gnu/system/examples/desktop.tmpl b/gnu/system/examples/desktop.tmpl index 1b8d46afa..9c36a2692 100644 --- a/gnu/system/examples/desktop.tmpl +++ b/gnu/system/examples/desktop.tmpl @@ -30,6 +30,10 @@ (mount-point "/") (type "ext4") (dependencies mapped-devices)) + (file-system + (device (uuid "1234-ABCD" 'fat)) + (mount-point "/boot/efi") + (type "vfat")) %base-file-systems)) (users (cons (user-account -- 2.20.1 --=-=-= Content-Type: text/plain -- Joshua Branson Sent from Emacs and Gnus --=-=-=--