Lines Matching refs:grub
32 grub_shell=${sbindir}/grub
33 grub_set_default=${sbindir}/grub-set-default
34 log_file=/tmp/grub-install.log.$$
35 img_file=/tmp/grub-install.img.$$
37 grub_prefix=/boot/grub
61 Usage: grub-install [OPTION] install_device
68 --grub-shell=FILE use FILE as the grub shell
76 grub-install copies GRUB images into the DIR/boot directory specfied by
77 --root-directory, and uses the grub shell to install grub into the boot
80 Report bugs to <bug-grub@gnu.org>.
242 --grub-shell=*)
284 grub_prefix=/grub
293 grubdir=${bootdir}/grub