summaryrefslogtreecommitdiff
path: root/gnu/system/examples
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2019-01-21 19:35:47 +0100
committerPierre Neidhardt <mail@ambrevar.xyz>2019-01-23 18:01:16 +0100
commitece2fd121866e4f46c5a4be92c6f09b6c1042ea1 (patch)
treebaa2bea8fc602368c1c2a344ad5370ad690dc2e5 /gnu/system/examples
parent286749bd4413bd9994fe2bc06a5596ebb02ea402 (diff)
downloadpatches-ece2fd121866e4f46c5a4be92c6f09b6c1042ea1.tar
patches-ece2fd121866e4f46c5a4be92c6f09b6c1042ea1.tar.gz
gnu: Fix missing EFI entry in "desktop" example.
* gnu/system/examples/desktop.tmpl (file-systems): Add EFI file-system.
Diffstat (limited to 'gnu/system/examples')
-rw-r--r--gnu/system/examples/desktop.tmpl17
1 files 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")