Lines Matching refs:used
383 # Options may be used by other options, record them.
386 # default variables that can be used
493 menu must be a non-nested menu. Add the quotes used in the menu
495 of \$GRUB_MENU that is found will be used.
502 If grub2 is used, the full path for the grub.cfg file is placed
507 If syslinux is used, the label that boots the target kernel must
517 # used with process_expression()
823 # This could be an option that is used later, save
1318 print "The following option$s not used; could be a typo:\n";
1770 # used by reboot (which wants to see a reboot)
3693 doprint "no dependencies used\n";
3712 doprint "no dependencies used\n";