diff options
author | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:35:47 +0100 |
---|---|---|
committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-23 18:01:16 +0100 |
commit | ece2fd121866e4f46c5a4be92c6f09b6c1042ea1 (patch) | |
tree | baa2bea8fc602368c1c2a344ad5370ad690dc2e5 | |
parent | 286749bd4413bd9994fe2bc06a5596ebb02ea402 (diff) | |
download | guix-ece2fd121866e4f46c5a4be92c6f09b6c1042ea1.tar.gz |
gnu: Fix missing EFI entry in "desktop" example.
* gnu/system/examples/desktop.tmpl (file-systems): Add EFI file-system.
-rw-r--r-- | gnu/system/examples/desktop.tmpl | 17 |
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") |