From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53275) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e1f4s-0002tm-La for guix-patches@gnu.org; Mon, 09 Oct 2017 16:55:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e1f4o-0006if-Mv for guix-patches@gnu.org; Mon, 09 Oct 2017 16:55:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:50017) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e1f4o-0006iD-Je for guix-patches@gnu.org; Mon, 09 Oct 2017 16:55:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1e1f4o-000068-Ck for guix-patches@gnu.org; Mon, 09 Oct 2017 16:55:02 -0400 Subject: [bug#28696] [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT) Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53150) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e1f4C-0002rw-Lr for guix-patches@gnu.org; Mon, 09 Oct 2017 16:54:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e1f4B-0006LS-TU for guix-patches@gnu.org; Mon, 09 Oct 2017 16:54:24 -0400 References: <20171004072401.1251-1-ludo@gnu.org> From: Roel Janssen Message-ID: <87fuas9h5s.fsf@gnu.org> In-reply-to: <20171004072401.1251-1-ludo@gnu.org> Date: Mon, 09 Oct 2017 22:54:04 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 28696@debbugs.gnu.org Ludovic Courtès writes: > Hello! > > This patch series fixes what Roel reported at > : it > allows users to refer to their EFI System Partition and to FAT file > systems in general by UUID. > > I’ve tested it on my UEFI laptop where /boot/efi is actually FAT16, not > FAT32 (I suppose UEFI supports both). > > Let me know what you think! > > Ludo’. > > Ludovic Courtès (5): > file-systems: 'mount-file-system' now takes a object. > file-systems: Preserve UUID types when serializing. > file-systems: Add support for FAT16. > uuid: Change "fat32" to "fat". > doc: Give an example with a FAT UUID. > > doc/guix.texi | 5 ++ > gnu/build/file-systems.scm | 115 +++++++++++++++++---------- > gnu/build/linux-boot.scm | 20 ++--- > gnu/build/linux-container.scm | 3 +- > gnu/services/base.scm | 6 +- > gnu/system/examples/lightweight-desktop.tmpl | 8 +- > gnu/system/file-systems.scm | 10 ++- > gnu/system/linux-initrd.scm | 6 +- > gnu/system/uuid.scm | 30 +++---- > 9 files changed, 126 insertions(+), 77 deletions(-) Sorry for the delay. It's really awesome that you've work so hard to fix the issue I reported. I really appreciate it! I tried it with: (file-system (title 'uuid) (device (uuid "72E5-26A0" 'fat)) (mount-point "/boot/efi") (type "vfat")) And it works. These changes look good to me. Thanks again, Roel Janssen