prev_saved_entry=`$grub_editenv ${grubdir}/grubenv list | sed -n 's/^prev_saved_entry=//p'`

if [ -z "${prev_saved_entry}" ]; then

    prev_saved_entry=`$grub_editenv ${grubdir}/grubenv list | sed -n 's/^saved_entry=//p'`

    if [ "$prev_saved_entry" ]; then

        $grub_editenv ${grubdir}/grubenv set prev_saved_entry="$prev_saved_entry"

    else

        # We need some non-empty value for prev_saved_entry so that GRUB will

        # recognise that grub-reboot has been used and restore the previous

        # saved entry. "0" is the same as an empty value, i.e. the first menu

        # entry.

        $grub_editenv ${grubdir}/grubenv set prev_saved_entry=0

    fi

fi

tmp=$(echo ${entry} | sed 's/[^0-9]//g')

if [ "${tmp}" != "${entry}" -o "${tmp}" -gt 100 ]; then

    # User specified a menuentry name. Let's check if it exists

    name=

    names=$(sed -n $'/^menuentry / { s/.*[\'"]\\([^\'"]*\\)[\'"].*/\\1/ ; p }' \

        ${grubdir}/grub.cfg | grep "${entry}")

    if [ -z "${names}" ]; then

        echo "entry not found." 1>&2

        exit 1

    fi

    OLDIFS=$IFS

    IFS=$'\n'

    for n in ${names}; do

        if [ "${n}" == "${entry}" ]; then

            name="${entry}"

        fi

    done

    IFS=OLDIFS

    if [ -z "${name}" ]; then

        name=$(echo "${names}" | head -n 1)

        if [ "${names}" != "${name}" ]; then

            echo "matched multiple entries. using first entry found." 1>&2

        fi

    fi

    entry="${name}"

fi