diff options
| author | Mike McQuaid | 2017-12-10 17:46:19 +0000 |
|---|---|---|
| committer | GitHub | 2017-12-10 17:46:19 +0000 |
| commit | 7466b23d8ac713eaf6f52cfc9f8ea7c159b062d5 (patch) | |
| tree | 6bdb6e52d3b0150f1969124e95b2431819fcb8f5 /Library | |
| parent | b41eb9d306d79d2022f592664c680754b2857472 (diff) | |
| parent | e13a93dd758d39d419f2319f1fd11ba36def9360 (diff) | |
| download | brew-7466b23d8ac713eaf6f52cfc9f8ea7c159b062d5.tar.bz2 | |
Merge pull request #3529 from MikeMcQuaid/env-filtering-default
Default environment filtering to on for all users.
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Homebrew/brew.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Library/Homebrew/brew.sh b/Library/Homebrew/brew.sh index c8f66bd45..ff9176099 100644 --- a/Library/Homebrew/brew.sh +++ b/Library/Homebrew/brew.sh @@ -246,6 +246,18 @@ case "$HOMEBREW_COMMAND" in --config) HOMEBREW_COMMAND="config" ;; esac +# Set HOMEBREW_DEV_CMD_RUN for users who have run a development command. +# This makes them behave like HOMEBREW_DEVELOPERs for brew update. +if [[ -z "$HOMEBREW_DEVELOPER" ]] +then + export HOMEBREW_GIT_CONFIG_FILE="$HOMEBREW_REPOSITORY/.git/config" + HOMEBREW_GIT_CONFIG_DEVELOPERMODE="$(git config --file="$HOMEBREW_GIT_CONFIG_FILE" --get homebrew.devcmdrun 2>/dev/null)" + if [[ "$HOMEBREW_GIT_CONFIG_DEVELOPERMODE" = "true" ]] + then + export HOMEBREW_DEV_CMD_RUN="1" + fi +fi + if [[ -f "$HOMEBREW_LIBRARY/Homebrew/cmd/$HOMEBREW_COMMAND.sh" ]] then HOMEBREW_BASH_COMMAND="$HOMEBREW_LIBRARY/Homebrew/cmd/$HOMEBREW_COMMAND.sh" |