GNU bug report logs - #28696
[PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Subject: bug#28696: closed (Re: [bug#28696] [PATCH 0/5] Support UUIDs for
 the EFI System Partition (FAT))
Date: Wed, 11 Oct 2017 09:14:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#28696: [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 28696 <at> debbugs.gnu.org.

-- 
28696: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28696
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: 28696-done <at> debbugs.gnu.org
Cc: dannym <at> scratchpost.org, roel <at> gnu.org
Subject: Re: [bug#28696] [PATCH 0/5] Support UUIDs for the EFI System
 Partition (FAT)
Date: Wed, 11 Oct 2017 11:13:37 +0200

Hello,

Ludovic Courtès <ludo <at> gnu.org> skribis:

> This patch series fixes what Roel reported at
> <https://lists.gnu.org/archive/html/help-guix/2017-09/msg00094.html>: it
> allows users to refer to their EFI System Partition and to FAT file
> systems in general by UUID.

I went ahead and pushed this series.  Let me know if anything’s wrong!

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: guix-patches <at> gnu.org
Cc: dannym <at> scratchpost.org, Ludovic Courtès <ludo <at> gnu.org>,
 roel <at> gnu.org
Subject: [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)
Date: Wed,  4 Oct 2017 09:24:01 +0200

Hello!

This patch series fixes what Roel reported at
<https://lists.gnu.org/archive/html/help-guix/2017-09/msg00094.html>: 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 <file-system> 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(-)

-- 
2.14.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.