summary refs log tree commit diff
path: root/doc/guix.texi
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 /doc/guix.texi
parent03f66aea63d43ce31107605557c1cbfbb9d25a73 (diff)
downloadguix-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 'doc/guix.texi')
-rw-r--r--doc/guix.texi5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 7b5b711793..0940ea4e71 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -8406,6 +8406,7 @@ management, power management, and more, would look like this:
 @include os-config-desktop.texi
 @end lisp
 
+@cindex UEFI
 A graphical UEFI system with a choice of lightweight window managers
 instead of full-blown desktop environments would look like this:
 
@@ -8413,6 +8414,10 @@ instead of full-blown desktop environments would look like this:
 @include os-config-lightweight-desktop.texi
 @end lisp
 
+This example refers to the @file{/boot/efi} partition by its UUID,
+@code{1234-ABCD}.  Replace this UUID with the right UUID on your system,
+as returned by the @command{blkid} command.
+
 @xref{Desktop Services}, for the exact list of services provided by
 @var{%desktop-services}.  @xref{X.509 Certificates}, for background
 information about the @code{nss-certs} package that is used here.