--- update-grub.old	2007-10-10 10:26:29.000000000 +0200
+++ update-grub	2007-10-10 10:27:09.000000000 +0200
@@ -149,11 +149,13 @@
 		tmp_disk=`echo "$1" | sed -e 's%\([sh]d[[:lower:]]\)[0-9]*$%\1%' \
 				  -e 's%\(fd[0-9]*\)$%\1%' \
 				  -e 's%/part[0-9]*$%/disc%' \
+				  -e 's%\(mapper/[a-z][a-z_]*\)\([0-9]*\)$%\1%' \
 				  -e 's%\(c[0-7]d[0-9]*\).*$%\1%'`
 		tmp_part=`echo "$1" | sed -e 's%.*/[sh]d[[:lower:]]\([0-9]*\)$%\1%' \
 				  -e 's%.*/fd[0-9]*$%%' \
 				  -e 's%.*/floppy/[0-9]*$%%' \
 				  -e 's%.*/\(disc\|part\([0-9]*\)\)$%\2%' \
+				  -e 's%.*/\(mapper/[a-z][a-z_]*\)\([0-9]*\)$%\2%' \
 				  -e 's%.*c[0-7]d[0-9]*p*%%'`
 	;;
     gnu)