Lines Matching refs:directory
66 --root-directory=DIR install GRUB images under the directory DIR
67 instead of the root directory
76 grub-install copies GRUB images into the DIR/boot directory specfied by
77 --root-directory, and uses the grub shell to install grub into the boot
240 --root-directory=*)
241 rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
323 # Create the GRUB directory if it is not present.
383 # Check if the boot directory is in the same device as the root directory.
396 # Check if the root directory exists in the same device as the grub
397 # directory.
403 You must set the root directory by the option --root-directory, because
409 # Copy the GRUB images to the GRUB directory.
419 ${grub_set_default} --root-directory=${rootdir} default
