Searched refs:prev_saved_entry (Results 1 - 3 of 3) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-reboot.in122 prev_saved_entry=`$grub_editenv ${grubdir}/grubenv list | sed -n 's/^saved_entry=//p'`
123 if [ "$prev_saved_entry" ]; then
124 $grub_editenv ${grubdir}/grubenv set prev_saved_entry="$prev_saved_entry"
126 # We need some non-empty value for prev_saved_entry so that GRUB will
130 $grub_editenv ${grubdir}/grubenv set prev_saved_entry=0
H A Dgrub-set-default.in122 $grub_editenv ${grubdir}/grubenv unset prev_saved_entry
/osnet-11/usr/src/grub/grub2/util/grub.d/
H A D00_header.in65 if [ "\${prev_saved_entry}" ]; then
66 set saved_entry="\${prev_saved_entry}"
68 set prev_saved_entry=
69 save_env prev_saved_entry

Completed in 20 milliseconds