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