Lines Matching refs:root
66 --root-directory=DIR install GRUB images under the directory DIR
67 instead of the root directory
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=//'` ;;
379 # Get the root drive.
383 # Check if the boot directory is in the same device as the root directory.
390 # Convert the root device to a GRUB drive.
396 # Check if the root directory exists in the same device as the grub
403 You must set the root directory by the option --root-directory, because
404 $grubdir does not exist in the root device $root_device.
419 ${grub_set_default} --root-directory=${rootdir} default
455 root $root_drive
