summaryrefslogtreecommitdiff
path: root/gnu/system/examples
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-10-04 09:10:42 +0200
committerLudovic Courtès <ludo@gnu.org>2017-10-11 11:12:33 +0200
commit50fcf37c13bf0636d380b51db1c47d708641e9ca (patch)
treee15d7e47f14f878380a8d196a1d4b56cc16916f2 /gnu/system/examples
parent03f66aea63d43ce31107605557c1cbfbb9d25a73 (diff)
downloadpatches-50fcf37c13bf0636d380b51db1c47d708641e9ca.tar
patches-50fcf37c13bf0636d380b51db1c47d708641e9ca.tar.gz
doc: Give an example with a FAT UUID.
* gnu/system/examples/lightweight-desktop.tmpl <file-systems>: Add a UUID for the /boot/efi partition. * doc/guix.texi (Using the Configuration System): Mention it.
Diffstat (limited to 'gnu/system/examples')
-rw-r--r--gnu/system/examples/lightweight-desktop.tmpl8
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/system/examples/lightweight-desktop.tmpl b/gnu/system/examples/lightweight-desktop.tmpl
index fb7cfebf6d..d13c04c76c 100644
--- a/gnu/system/examples/lightweight-desktop.tmpl
+++ b/gnu/system/examples/lightweight-desktop.tmpl
@@ -17,16 +17,16 @@
(bootloader grub-efi-bootloader)
(target "/boot/efi")))
- ;; Assume the target root file system is labelled "my-root".
+ ;; Assume the target root file system is labelled "my-root",
+ ;; and the EFI System Partition has UUID 1234-ABCD.
(file-systems (cons* (file-system
(device "my-root")
(title 'label)
(mount-point "/")
(type "ext4"))
(file-system
- ;; Specify partition here since FAT
- ;; labels are currently unsupported.
- (device "/dev/sda1")
+ (device (uuid "1234-ABCD" 'fat))
+ (title 'uuid)
(mount-point "/boot/efi")
(type "vfat"))
%base-file-systems))