[debbugs-tracker] bug#28696: closed ([PATCH 0/5] Support UUIDs for the EFI System Partition (FAT))

[GNU bug Tracking System]

Your message dated Wed, 11 Oct 2017 11:13:37 +0200
with message-id <address@hidden>
and subject line Re: [bug#28696] [PATCH 0/5] Support UUIDs for the EFI System 
Partition (FAT)
has caused the debbugs.gnu.org bug report #28696,
regarding [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
28696: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28696
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#28696] [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)
>
>
>
>
> Date: 
>
> Wed, 11 Oct 2017 11:13:37 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
>
>
>
>
> Hello,
>
> Ludovic Courtès <address@hidden> 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’.
>
>
> --- End Message ---