gnu: Fix missing EFI entry in "desktop" example.

* gnu/system/examples/desktop.tmpl (file-systems): Add
EFI file-system.
master
Pierre Neidhardt 2019-01-21 19:35:47 +01:00
parent 286749bd44
commit ece2fd1218
No known key found for this signature in database
GPG Key ID: 9BDCF497A4BBCC7F
1 changed files with 11 additions and 6 deletions

View File

@ -25,12 +25,17 @@
(target "my-root") (target "my-root")
(type luks-device-mapping)))) (type luks-device-mapping))))
(file-systems (cons (file-system (file-systems (append
(device (file-system-label "my-root")) (list (file-system
(mount-point "/") (device (file-system-label "my-root"))
(type "ext4") (mount-point "/")
(dependencies mapped-devices)) (type "ext4")
%base-file-systems)) (dependencies mapped-devices))
(file-system
(device (uuid "1234-ABCD" 'fat))
(mount-point "/boot/efi")
(type "vfat")))
%base-file-systems))
(users (cons (user-account (users (cons (user-account
(name "bob") (name "bob")