HomeSort by relevance Sort by last modified time
    Searched refs:grub_shell (Results 1 - 6 of 6) sorted by null

  /external/grub/util/
grub-md5-crypt 26 grub_shell=${sbindir}/grub
52 grub_shell=`echo "$option" | sed 's/--grub-shell=//'`
91 $grub_shell --batch --device-map=/dev/null <<EOF \
grub-md5-crypt.in 26 grub_shell=${sbindir}/grub
52 grub_shell=`echo "$option" | sed 's/--grub-shell=//'`
91 $grub_shell --batch --device-map=/dev/null <<EOF \
grub-image 41 grub_shell="$thisdir/../grub/grub"
45 grub_shell=${sbindir}/grub
55 VERSION=`$grub_shell --version | sed -e 's/^.* \([0-9.]*\).*$/\1/'`
131 cat <<EOF | $grub_shell --batch --device-map=/dev/null
grub-image.in 41 grub_shell="$thisdir/../grub/grub"
45 grub_shell=${sbindir}/grub
55 VERSION=`$grub_shell --version | sed -e 's/^.* \([0-9.]*\).*$/\1/'`
131 cat <<EOF | $grub_shell --batch --device-map=/dev/null
grub-install.in 32 grub_shell=${sbindir}/grub
243 grub_shell=`echo "$option" | sed 's/--grub-shell=//'` ;;
298 set $grub_shell dummy
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
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
grub-install 32 grub_shell=${sbindir}/grub
243 grub_shell=`echo "$option" | sed 's/--grub-shell=//'` ;;
298 set $grub_shell dummy
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
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

Completed in 505 milliseconds