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

_brew | use git indexes mtime

Browse Source
This commit is contained in:
Romain Bossart 2018-12-12 14:16:55 +01:00
parent d2c0d06d8f
commit 2a6b6036a2
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
completions/zsh/_brew
View File

@ -45,11 +45,9 @@ __brew_formulae_caching_policy() {
! [[ -f "$1" ]] && return 0 ! [[ -f "$1" ]] && return 0
# cache file modification date (seconds since epoch) # cache file modification date (seconds since epoch)
local -i cache_mtime=$(date -r "$1" +%s) local -i cache_mtime=$(date -r "$1" +%s)
# latest homebrew commit on HEAD (branch 'stable' by default) # latest modified homebrew tap index file
local brew_repo=${HOMEBREW_PREFIX:-/usr/local}/Homebrew/.git local latest_modified_git_index=(${HOMEBREW_REPOSITORY:-/usr/local/Homebrew}/Library/Taps/*/*/.git/index(om[1]))
local latest_commit=$(git --git-dir=${brew_repo} rev-parse HEAD) # --branches=refs/stable local -i commit_mtime=$(date -r "$latest_modified_git_index" +%s)
# latest homebrew commit date (seconds since epoch)
local -i commit_mtime=$(git --git-dir=${brew_repo} rev-list -1 --format=format:'%at' $latest_commit | tail +2)
(( $cache_mtime < $commit_mtime )) (( $cache_mtime < $commit_mtime ))
} }