diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:35:47 +0100 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:35:47 +0100 |
| commit | 4549998b0bf36ac061558d28a384292d6577e385 (patch) | |
| tree | 056c84cc2af9bc5661764913489d4ea83938d766 | |
| parent | 63a5946761ec21dcdbca3b4c7bdcfe9e8110523b (diff) | |
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") |