tools: bugfix export.sh change IDF_PATH only if file is esp-idf

Set the self_path where the export.sh script is located, not the sourcing directory.

export.fish

@@ -16,6 +16,8 @@ function __main
         set script_dir $pwd
     end
     if test "$IDF_PATH" != "$script_dir"
+        # Change IDF_PATH is important when there are 2 ESP-IDF versions in different directories.
+        # Sourcing this script without change, would cause sourcing wrong export script.
         echo "Resetting IDF_PATH from '$IDF_PATH' to '$script_dir'"
         set IDF_PATH "$script_dir"
     end

export.sh

@@ -49,42 +49,37 @@ __main() {
         return 1
     fi
 
-    if [ -z "${IDF_PATH}" ]
+    # If using bash or zsh, try to guess IDF_PATH from script location.
+    self_path=""
+    # shellcheck disable=SC2128  # ignore array expansion warning
+    if [ -n "${BASH_SOURCE-}" ]
     then
-        # IDF_PATH not set in the environment.
-        # If using bash or zsh, try to guess IDF_PATH from script location.
-        self_path=""
+        self_path="${BASH_SOURCE}"
+    elif [ -n "${ZSH_VERSION-}" ]
+    then
+        self_path="${(%):-%x}"
+    else
+        echo "Could not detect IDF_PATH. Please set it before sourcing this script:"
+        echo "  export IDF_PATH=(add path here)"
+        return 1
+    fi
 
-        # shellcheck disable=SC2128  # ignore array expansion warning
-        if [ -n "${BASH_SOURCE-}" ]
-        then
-            self_path="${BASH_SOURCE}"
-        elif [ -n "${ZSH_VERSION-}" ]
-        then
-            self_path="${(%):-%x}"
-        else
-            echo "Could not detect IDF_PATH. Please set it before sourcing this script:"
-            echo "  export IDF_PATH=(add path here)"
-            return 1
-        fi
+    script_dir=$(__script_dir)
 
-        script_dir=$(__script_dir)
+    if [ -z "${IDF_PATH}" ]
+    then
+        # IDF_PATH not set in the environment.
         export IDF_PATH="${script_dir}"
         echo "Setting IDF_PATH to '${IDF_PATH}'"
     else
         # IDF_PATH came from the environment, check if the path is valid
-        script_dir=$(__script_dir)
         if [ ! "${IDF_PATH}" = "${script_dir}" ]
         then
+            # Change IDF_PATH is important when there are 2 ESP-IDF versions in different directories.
+            # Sourcing this script without change, would cause sourcing wrong export script.
             echo "Resetting IDF_PATH from '${IDF_PATH}' to '${script_dir}' "
             export IDF_PATH="${script_dir}"
         fi
-        if [ ! -d "${IDF_PATH}" ]
-        then
-            echo "IDF_PATH is set to '${IDF_PATH}', but it is not a valid directory."
-            echo "If you have set IDF_PATH manually, check if the path is correct."
-            return 1
-        fi
         # Check if this path looks like an IDF directory
         if [ ! -f "${IDF_PATH}/tools/idf.py" ] || [ ! -f "${IDF_PATH}/tools/idf_tools.py" ]
         then

tools/idf_tools.py

@@ -1199,9 +1199,10 @@ def deactivate_statement(args):  # type: (list[str]) -> None
     if 'sha' in idf_env_json['idfInstalled']:
         try:
             idf_env_json['idfInstalled'].pop('sha')
+            if idf_env_json['idfPreviousId'] == 'sha':
+                idf_env_json['idfPreviousId'] = ''
             if idf_env_json['idfSelectedId'] == 'sha':
                 idf_env_json['idfSelectedId'] = active_repo_id()
-                idf_env_json['idfPreviousId'] = ''
                 return
         finally:
             save_idf_env(idf_env_json)