Searched refs:grubdisk (Results 1 – 1 of 1) sorted by relevance
40 grubdisk=`echo $diskno | /bin/sed "s/0x8//"`41 echo "$grubdisk $ctdname $diskpath" >> "$GRUBDISKMAP"