Lines Matching refs:device
72 --recheck probe a device map even if it already exists
74 INSTALL_DEVICE can be a GRUB device name or a system device filename.
85 # Convert an OS device to the corresponding GRUB drive.
88 # First, check if the device file exists.
92 echo "$1: Not found or not a block device." 1>&2
96 # Break the device name into the disk part and the partition part.
192 # Find the real file/device that file points at
215 # Find block device on which the file resides.
217 # For now, this uses the program `df' to get the device name, but is
222 echo "Could not find device for $1" 2>&1
294 device_map=${grubdir}/device.map
327 # If --recheck is specified, remove the device map, if present.
332 # Create the device map file if it is not present.
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
354 echo "The drive $tmp is defined multiple times in the device map $device_map" 1>&2
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
404 $grubdir does not exist in the root device $root_device.
429 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
454 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
467 # Prompt the user to check if the device map is correct.
469 echo "This is the contents of the device map $device_map."