Lines Matching refs:GRUB
3 # Set a default boot entry for GRUB
21 PACKAGE=grub
31 Usage: grub-set-default [OPTION] entry
32 Set the default boot entry for GRUB.
40 Report bugs to <bug-grub@gnu.org>.
51 echo "grub-set-default (GNU GRUB ${VERSION})"
77 # Determine the GRUB directory. This is different among OSes.
78 grubdir=${rootdir}/boot/grub
82 grubdir=${rootdir}/grub
86 echo "No GRUB directory found under ${rootdir}/" 1>&2
109 # from this file, including this warning. Using \`grub-set-default\' is
