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 /gnu/system/examples | |
| parent | 286749bd4413bd9994fe2bc06a5596ebb02ea402 (diff) | |
| download | patches-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.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") |