diff -ur grub-0.5.96.1.orig/util/grub-install.in grub-0.5.96.1/util/grub-install.in --- grub-0.5.96.1.orig/util/grub-install.in Mon Oct 16 16:42:36 2000 +++ grub-0.5.96.1/util/grub-install.in Sat Apr 7 00:42:06 2001 @@ -76,9 +76,9 @@ # Break the device name into the disk part and the partition part. case "$host_os" in linux*) - tmp_disk=`echo "$1" | sed -e 's%\([sh]d[a-z]\)[0-9]*$%\1%' + tmp_disk=`echo "$1" | sed -e 's%\([sh]d[a-z]\)[0-9]*$%\1%' \ -e 's%/part[0-9]*$%/disc%'` - tmp_part=`echo "$1" | sed -e 's%.*/[sh]d[a-z]\([0-9]*\)$%\1%' + tmp_part=`echo "$1" | sed -e 's%.*/[sh]d[a-z]\([0-9]*\)$%\1%' \ -e 's%.*/\(disc\|part\([0-9]*\)\)$%\2%'` ;; gnu*)