Searched refs:grubdir (Results 1 - 2 of 2) sorted by relevance

/illumos-gate/usr/src/grub/grub-0.97/util/
H A Dgrub-set-default.in78 grubdir=${rootdir}/boot/grub
79 if test -d ${grubdir}; then
82 grubdir=${rootdir}/grub
83 if test -d ${grubdir}; then
91 file=${grubdir}/default
H A Dgrub-install.in293 grubdir=${bootdir}/grub
294 device_map=${grubdir}/device.map
325 test -d "$grubdir" || mkdir "$grubdir" || exit 1
398 grubdir_device=`find_device ${grubdir}`
404 $grubdir does not exist in the root device $root_device.
410 for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do
415 cp -f $file ${grubdir} || exi
[all...]

Completed in 55 milliseconds