--- /sbin/grub-install 2015-01-09 17:54:43.916000000 +0000 +++ grub-install.xenpatched 2015-01-09 17:54:34.443000000 +0000 @@ -97,12 +97,14 @@ case "$host_os" in linux*) tmp_disk=`echo "$1" | sed -e 's%\([shv]d[a-z]\)[0-9]*$%\1%' \ + -e 's%\(xvd[a-z]\)[0-9]*$%\1%' \ -e 's%\(d[0-9]*\)p[0-9]*$%\1%' \ -e 's%\(fd[0-9]*\)$%\1%' \ -e 's%/part[0-9]*$%/disc%' \ -e 's%\(c[0-7]d[0-9]*\).*$%\1%' \ -e 's%\(e[0-9]\.[0-9]*\).*$%\1%'` tmp_part=`echo "$1" | sed -e 's%.*/[shv]d[a-z]\([0-9]*\)$%\1%' \ + -e 's%.*/xvd[a-z]\([0-9]*\)$%\1%' \ -e 's%.*d[0-9]*p%%' \ -e 's%.*/fd[0-9]*$%%' \ -e 's%.*/floppy/[0-9]*$%%' \