From ece2fd121866e4f46c5a4be92c6f09b6c1042ea1 Mon Sep 17 00:00:00 2001 From: Pierre Neidhardt Date: Mon, 21 Jan 2019 19:35:47 +0100 Subject: [PATCH] gnu: Fix missing EFI entry in "desktop" example. * gnu/system/examples/desktop.tmpl (file-systems): Add EFI file-system. --- gnu/system/examples/desktop.tmpl | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/gnu/system/examples/desktop.tmpl b/gnu/system/examples/desktop.tmpl index 1b8d46afaf..e20b472363 100644 --- a/gnu/system/examples/desktop.tmpl +++ b/gnu/system/examples/desktop.tmpl @@ -25,12 +25,17 @@ (target "my-root") (type luks-device-mapping)))) - (file-systems (cons (file-system - (device (file-system-label "my-root")) - (mount-point "/") - (type "ext4") - (dependencies mapped-devices)) - %base-file-systems)) + (file-systems (append + (list (file-system + (device (file-system-label "my-root")) + (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 (name "bob")