Lines Matching full:exists
2632 @strong{Caution:} This command exists only for backward
3405 This error is returned if the partition requested exists, but the
3584 systems serve, so there exists a potential problem that some cache
3633 already exists. The file name @file{/boot/grub/device.map} is preferred.
3635 If the device map file exists, the grub shell reads it to map BIOS
3705 exists. You should use this option whenever you add/remove a disk
