export.fish: set IDF_PATH without changing current working directory

pull/9637/head
imcaizheng 2022-08-31 02:03:48 +08:00
rodzic ae256e9ca2
commit 84ec01c330
1 zmienionych plików z 3 dodań i 5 usunięć

Wyświetl plik

@ -6,15 +6,13 @@ function unset
end
function __main
set script_dir (dirname (readlink -m (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.