Merge branch 'contrib/github_pr_9637' into 'master'

export.fish: set IDF_PATH without changing current working directory (GitHub PR)

Closes IDFGH-8146 and IDFGH-8140

See merge request espressif/esp-idf!19879
pull/9715/head
Roland Dobai 2022-08-31 21:16:16 +08:00
commit 0aef81247c
1 zmienionych plików z 2 dodań i 5 usunięć

Wyświetl plik

@ -6,15 +6,12 @@ function unset
end
function __main
set script_dir (dirname (realpath (status -f)))
if not set -q IDF_PATH
set -gx IDF_PATH (cd (dirname (status -f)); and pwd)
set -gx IDF_PATH $script_dir
echo "Setting IDF_PATH to '$IDF_PATH'"
end
set script_dir (cd (dirname (status -f)); and pwd)
if test "$script_dir" = "."
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.