On 19/01/2020 20:12, William Morgan wrote:
Still not sure why/dev/disk/by-id/ and/dev/disk/by-uuid/ would have differing UUIDs, but maybe that's normal.
Given that one is an ID, and the other is a UUID, I would have thought it normal that they're different (not that I know the difference between them! :-)
It would be nice if we had some decent docu on what all these assorted id's and uuid's and all that were, but I haven't managed to find any. Probably somewhere in the info pages for grub - given that I really don't like hypertext the fact that grub docu is very much hypertext is rather off-putting ...
Cheers, Wol
