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

Previous Next

Full log

Message #31 received at submit <at> debbugs.gnu.org (full text, mbox):

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

Hi Roel,

Roel Janssen <roel <at> gnu.org> skribis:

> 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.

Awesome, thanks for testing!

Most likely you can also do:

               (device "EFI")
               (title 'label)

though I wouldn’t recommend that because if there’s, say, a bootable
UEFI dongle plugged in when you boot, you could end up mounting that one
instead of your actual hard disk.

Ludo’.

Previous Next

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