admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

Merge pull request #18084 from Homebrew/brew_sh_ignore_git_describe_cache

Browse Source
This commit is contained in:
Mike McQuaid 2024-08-19 09:32:09 +01:00 committed by GitHub
commit 8191a4194d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Library/Homebrew/brew.sh
View File

@ -446,10 +446,13 @@ then
then then
HOMEBREW_VERSION="$(cat "${GIT_DESCRIBE_CACHE_FILE}")" HOMEBREW_VERSION="$(cat "${GIT_DESCRIBE_CACHE_FILE}")"
else else
rm -rf "${GIT_DESCRIBE_CACHE}"
HOMEBREW_VERSION="$("${HOMEBREW_GIT}" -C "${HOMEBREW_REPOSITORY}" describe --tags --dirty --abbrev=7 2>/dev/null)" HOMEBREW_VERSION="$("${HOMEBREW_GIT}" -C "${HOMEBREW_REPOSITORY}" describe --tags --dirty --abbrev=7 2>/dev/null)"
mkdir -p "${GIT_DESCRIBE_CACHE}" # Don't output any permissions errors here.
echo "${HOMEBREW_VERSION}" >"${GIT_DESCRIBE_CACHE_FILE}" # The user may not have write permissions to the cache but we don't care
# because it's an optional performance improvement.
rm -rf "${GIT_DESCRIBE_CACHE}" 2>/dev/null
mkdir -p "${GIT_DESCRIBE_CACHE}" 2>/dev/null
echo "${HOMEBREW_VERSION}" >"${GIT_DESCRIBE_CACHE_FILE}" 2>/dev/null
fi fi
unset GIT_DESCRIBE_CACHE_FILE unset GIT_DESCRIBE_CACHE_FILE
else else