fix windows depot path expansion (#146)

This commit is contained in:
Ian Butterworth
2024-09-23 13:30:40 -04:00
committed by GitHub
parent 8608484607
commit 824243901f

View File

@@ -66,7 +66,11 @@ runs:
else else
depot="~/.julia" depot="~/.julia"
fi fi
depot="${depot/#\~/$HOME}" # Expand tilde which cannot be used in BASH checks (i.e. `[ -d "~/.julia" ]` fails) if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "cygwin" ]]; then
depot="${depot/#\~/$USERPROFILE}" # Windows paths
else
depot="${depot/#\~/$HOME}" # Unix-like paths
fi
echo "depot=$depot" | tee -a "$GITHUB_OUTPUT" echo "depot=$depot" | tee -a "$GITHUB_OUTPUT"
cache_paths=() cache_paths=()