diff options
| author | Thomas Danckaert <thomas.danckaert@gmail.com> | 2017-10-16 19:52:30 +0200 |
|---|---|---|
| committer | Thomas Danckaert <thomas.danckaert@gmail.com> | 2017-10-16 19:52:30 +0200 |
| commit | 8cff2e7aed888b3d0e4dcfcda151bc8af68fa1bb (patch) | |
| tree | 7177d90f3a8f0ba34630e78b5516dbda68ff0570 /gnu/system/examples | |
| parent | 404e3d8b1bcd92ad934711fe759feb220f4d1c60 (diff) | |
| parent | 484a72a036e6a8af43f517d6547446f3de344a07 (diff) | |
| download | patches-8cff2e7aed888b3d0e4dcfcda151bc8af68fa1bb.tar patches-8cff2e7aed888b3d0e4dcfcda151bc8af68fa1bb.tar.gz | |
Merge 'master' into core-updates
Diffstat (limited to 'gnu/system/examples')
| -rw-r--r-- | gnu/system/examples/lightweight-desktop.tmpl | 8 |
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)) |