Comment 5 for bug 222458

I've run into this same problem, but I actually use /dev/disk/by-uuid/* links, which all link to a partition on the given device, rather than the device itself. I suggest the following as a fix for this as well as the earlier suggested fix:

93c93,100
< DISC=$KEY
---
> if [ -L $KEY ]
> then
> DISC=$(readlink -m $KEY)
> # if this is a link to a partition, strip off the digit
> DISC=${DISC%[0-9]}
> else
> DISC=$KEY
> fi