From 50fcf37c13bf0636d380b51db1c47d708641e9ca Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Wed, 4 Oct 2017 09:10:42 +0200 Subject: doc: Give an example with a FAT UUID. * gnu/system/examples/lightweight-desktop.tmpl : Add a UUID for the /boot/efi partition. * doc/guix.texi (Using the Configuration System): Mention it. --- gnu/system/examples/lightweight-desktop.tmpl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'gnu/system') 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)) -- cgit v1.2.3