bug#22797: Using UUID for vfat file system is impossible

bug#22797: Using UUID for vfat file system is impossible

[Alex Kost]

Hello, unlike other file system types, FAT volumes have short UUIDs,
for example: "58D7-4FA5", but such an UUID cannot be used in an
operating system declaration:

(file-system
  (device (uuid "58D7-4FA5"))
  (title 'uuid)
  (type "vfat")
  ;; ...
  )

because (uuid "58D7-4FA5") errors.

-- 
Alex

bug#22797: Using UUID for vfat file system is impossible

[Ludovic Courtès]

[-- Attachment #1: Type: text/plain, Size: 428 bytes --]

Alex Kost <alezost@gmail.com> skribis:

> Hello, unlike other file system types, FAT volumes have short UUIDs,
> for example: "58D7-4FA5", but such an UUID cannot be used in an
> operating system declaration:
>
> (file-system
>   (device (uuid "58D7-4FA5"))
>   (title 'uuid)
>   (type "vfat")
>   ;; ...
>   )
>
> because (uuid "58D7-4FA5") errors.

That’s expected.  :-)  I’ve clarified this in 0767f6a:


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: Type: text/x-patch, Size: 663 bytes --]

@@ -6302,7 +6302,12 @@ is interpreted as a partition label name; when it is @code{uuid},
 @code{device} is interpreted as a partition unique identifier (UUID).
 
 UUIDs may be converted from their string representation (as shown by the
-@command{tune2fs -l} command) using the @code{uuid} form, like this:
+@command{tune2fs -l} command) using the @code{uuid} form@footnote{The
+@code{uuid} form expects 16-byte UUIDs as defined in
+@uref{https://tools.ietf.org/html/rfc4122, RFC@tie{}4122}.  This is the
+form of UUID used by the ext2 family of file systems and others, but it
+is different from ``UUIDs'' found in FAT file systems, for instance.},
+like this:
 

[-- Attachment #3: Type: text/plain, Size: 141 bytes --]


When we implement FAT UUIDs, we’ll either adjust the ‘uuid’ form or
introduce a separate ‘fat-uuid’ form.

Thanks,
Ludo’.

bug#22797: Using UUID for vfat file system is impossible

[Alex Kost]

Ludovic Courtès (2016-02-25 21:32 +0300) wrote:

> Alex Kost <alezost@gmail.com> skribis:
>
>> Hello, unlike other file system types, FAT volumes have short UUIDs,
>> for example: "58D7-4FA5", but such an UUID cannot be used in an
>> operating system declaration:
>>
>> (file-system
>>   (device (uuid "58D7-4FA5"))
>>   (title 'uuid)
>>   (type "vfat")
>>   ;; ...
>>   )
>>
>> because (uuid "58D7-4FA5") errors.
>
> That’s expected.  :-)  I’ve clarified this in 0767f6a:

Ah, actually I thought it's expected as this is not a "normal" UUID.
Thanks for the clarification.

-- 
Alex