Samuel Thibault, le dim. 15 nov. 2020 22:16:32 +0100, a ecrit: > BTW, I believe we don't want to expose the /dev/ prefix, that'd be > surprising for users (I myself made the mistake). translate_name can > prepend /dev/ itself.
/dev/ would also break various grub & debian-installer scripts. Samuel
