From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59884) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dze5A-0001bj-Uc for guix-patches@gnu.org; Wed, 04 Oct 2017 03:27:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dze59-00065F-Vp for guix-patches@gnu.org; Wed, 04 Oct 2017 03:27:04 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:38708) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dze59-000656-TA for guix-patches@gnu.org; Wed, 04 Oct 2017 03:27:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dze59-0001uq-N6 for guix-patches@gnu.org; Wed, 04 Oct 2017 03:27:03 -0400 Subject: [bug#28696] [PATCH 5/5] doc: Give an example with a FAT UUID. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Date: Wed, 4 Oct 2017 09:25:54 +0200 Message-Id: <20171004072554.1377-5-ludo@gnu.org> In-Reply-To: <20171004072554.1377-1-ludo@gnu.org> References: <20171004072554.1377-1-ludo@gnu.org> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 28696@debbugs.gnu.org * gnu/system/examples/lightweight-desktop.tmpl : Add a UUID for the /boot/efi partition. * doc/guix.texi (Using the Configuration System): Mention it. --- doc/guix.texi | 5 +++++ gnu/system/examples/lightweight-desktop.tmpl | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index b9d127c47..13b6d721f 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -8396,6 +8396,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: @@ -8403,6 +8404,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. diff --git a/gnu/system/examples/lightweight-desktop.tmpl b/gnu/system/examples/lightweight-desktop.tmpl index fb7cfebf6..d13c04c76 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)) -- 2.14.2