added support for native devfs device names into grub-install.

ChangeLog

@@ -1,3 +1,9 @@
+2000-10-15  OKUJI Yoshinori  <okuji@gnu.org>
+
+	From Roderich Schupp <rsch@ExperTeam.de>:
+	* util/grub-install.in (convert): Added support for "native"
+	devfs device names.
+	
 2000-10-14  OKUJI Yoshinori  <okuji@gnu.org>
 
 	* docs/tutorial.texi (Serial terminal): Fixed a typo.

THANKS

@@ -46,6 +46,7 @@ Pavel Roskin <pavel_roskin@geocities.com>
 Per Lundberg <plundis@byggdok.se>
 Peter Astrand <altic@lysator.liu.se>
 Ramon van Handel <vhandel@chem.vu.nl>
+Roderich Schupp <rsch@ExperTeam.de>
 Stefan Ondrejicka <ondrej@idata.sk>
 Stephen Early <steve@greenend.org.uk>
 Takehiro Suzuki <takehiro@coral.ocn.ne.jp>

util/grub-install.in

@@ -74,8 +74,11 @@ convert () {
     # Break the device name into the disk part and the partition part.
     case "$host_os" in
     linux*)
-	tmp_disk=`echo "$1" | sed 's%\([sh]d[a-z]\)[0-9]*$%\1%'`
+	tmp_disk=`echo "$1" | sed -e 's%\([sh]d[a-z]\)[0-9]*$%\1%'
-	tmp_part=`echo "$1" | sed "s%$tmp_disk%%"` ;;
+				  -e 's%/part[0-9]*$%/disc%'`
+	tmp_part=`echo "$1" | sed -e 's%.*/[sh]d[a-z]\([0-9]*\)$%\1%'
+				  -e 's%.*/\(disc\|part\([0-9]*\)\)$%\2%'`
+	;;
     gnu*)
 	tmp_disk=`echo "$1" | sed 's%\([sh]d[0-9]*\).*%\1%'`
 	tmp_part=`echo "$1" | sed "s%$tmp_disk%%"` ;;