Re: Drive identifiers

[Ludovic Courtès]

Danny Milosavljevic <address@hidden> skribis:

> guix/scripts/system.scm install-bootloader should resolve target, like
>
>   if target doesn't startwith "/dev/"
>     compare target with ID_SERIAL using udevinfo, return device name
>   else
>     as before

Do GRUB, U-Boot, and co. provide a way to refer to drivers by serial
number?  If they do, perhaps we can just pass them the ‘target’ string
and let them do the right thing.

Ludo’.