Re: Drive identifiers

[Ludovic Courtès]

Ricardo Wurmus <address@hidden> skribis:

> ;; Get the UUID of the encrypted disk
> (define %uuid
>   (let* ((port (open-input-pipe "blkid -s UUID -o value /dev/sda1"))
>          (str  (read-line port)))
>     (close-pipe port)
>     str))
> …
> (operating-system …
>   (mapped-devices (list (mapped-device
>                          (source (uuid %uuid))
>                          (target "root")
>                          (type luks-device-mapping))))

It’s a weird example because the idea of UUIDs is precisely to *not*
record the partition’s /dev name.  :-)

Ludo’.