Home
last modified time | relevance | path

Searched refs:tmp_disk (Results 1 – 2 of 2) sorted by relevance

/titanic_44/usr/src/grub/grub-0.97/util/
H A Dgrub-install.in99 tmp_disk=`echo "$1" | sed -e 's%\([sh]d[a-z]\)[0-9]*$%\1%' \
112 tmp_disk=`echo "$1" | sed 's%\([sh]d[0-9]*\).*%\1%'`
113 tmp_part=`echo "$1" | sed "s%$tmp_disk%%"` ;;
115 tmp_disk=`echo "$1" | sed 's%r\{0,1\}\([saw]d[0-9]*\).*$%r\1%' \
122 tmp_disk=`echo "$1" | sed 's%r\{0,1\}\([sw]d[0-9]*\).*$%r\1d%' \
133 tmp_drive=`grep -v '^#' $device_map | grep "$tmp_disk *$" \
/titanic_44/usr/src/grub/grub-0.97/
H A DChangeLog3388 Use "$tmp_disk *$" instead of "$tmp_disk" to get the drive name.