export.sh cannot run correctly on zsh (GIT8266O-849)

[Hanzo-Huang]

Problem

Recently I change my shell to zsh. When I run export.sh as usual, it promote

IDF_PATH must be set before sourcing this script

but it worked correctly when I used bash.

Solution

I find the code in export.sh(line 24 to 40)

    if [[ -z "${IDF_PATH}" ]]
    then
        # If using bash, try to guess IDF_PATH from script location
        if [[ -n "${BASH_SOURCE}" ]]
        then
            if [[ "$OSTYPE" == "darwin"* ]]; then
                script_dir="$(realpath_int $BASH_SOURCE)"
            else
                script_name="$(readlink -f $BASH_SOURCE)"
                script_dir="$(dirname $script_name)"
            fi
            export IDF_PATH="${script_dir}"
        else
            echo "IDF_PATH must be set before sourcing this script"
            return 1
        fi
    fi

it seems it works with bash.
I change it so it can work with zsh

    if [[ -z "${IDF_PATH}" ]]
    then
        # If using bash, try to guess IDF_PATH from script location
        if [[ -n "${BASH_SOURCE}" ]] || [[ -n "$ZSH_EVAL_CONTEXT" ]]
        then
            if [[ "$OSTYPE" == "darwin"* ]]; then
                script_dir="$(realpath_int $BASH_SOURCE)"
            else
                if [[ -n "${BASH_SOURCE}" ]]; then
                    script_name="$(readlink -f $BASH_SOURCE)"
                else
                    script_name="$(readlink -f \$0)"
                fi
                script_dir="$(dirname $script_name)"
            fi
            export IDF_PATH="${script_dir}"
        else
            echo "IDF_PATH must be set before sourcing this script"
            return 1
        fi
    fi