Karsten, I don’t think we should be using, or telling others to use, the /dev/sd* device names at all anymore, when there’s a far better alternative — /dev/disk/*. The /dev/disk/* namespace has several ways for identifying your disks beyond a shadow of a doubt. For instance, /dev/disk/by-label/* files show your …