Searched refs:grubdir (Results 1 – 3 of 3) sorted by relevance
293 grubdir=${bootdir}/grub294 device_map=${grubdir}/device.map325 test -d "$grubdir" || mkdir "$grubdir" || exit 1398 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; do415 cp -f $file ${grubdir} || exi[all...]
78 grubdir=${rootdir}/boot/grub79 if test -d ${grubdir}; then82 grubdir=${rootdir}/grub83 if test -d ${grubdir}; then91 file=${grubdir}/default
3296 instead of grubdir to "/grub".3298 of $grubdir to the option "--prefix".3473 and grubdir to $bootdir_device and "/grub", respectively.3474 Add --prefix=$grubdir into the command "setup".3663 * util/grub-install.in: Fix a typo: grub_dir -> grubdir.5813 (grubdir): Likewise.5970 * util/grub-install.in: grub_dir -> grubdir.