Replace LABELs with UUIDs
Currently archisodevice
is got from /dev/disk/by-label/$archisolabel
; this is not ok because if multiple ISOs built on different days in the same month are inserted into the computer, a seemingly random one is chosen.
This could be solved by selecting the partition by UUID
instead of by LABEL
.
This is already implemented in !25 (closed).