Searched refs:GRUB_DEFAULT (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/grub.d/
H A D00_header.in37 if [ "x${GRUB_DEFAULT}" = "x" ] ; then GRUB_DEFAULT=0 ; fi
38 if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then GRUB_DEFAULT='${saved_entry}' ; fi
42 if [ "x${GRUB_DEFAULT_BUTTON}" = "x" ] ; then GRUB_DEFAULT_BUTTON="$GRUB_DEFAULT" ; fi
56 set default="${GRUB_DEFAULT}"
61 set default="${GRUB_DEFAULT}"
/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-mkconfig.in226 export GRUB_DEFAULT \

Completed in 15 milliseconds