Timothy Sample <samp...@ngyro.com> writes:

> Hi Joshua,
>
> Joshua Branson <jbra...@dismail.de> 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") ...).

>From 0d35f5c6a73dc97959779f727c25e81de9192680 Mon Sep 17 00:00:00 2001
From: Joshua Branson <jbra...@dismail.de>
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


--
Joshua Branson
Sent from Emacs and Gnus

Reply via email to