diff options
| author | Mike McQuaid | 2017-12-05 14:07:28 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2017-12-05 14:07:28 +0000 |
| commit | e13a93dd758d39d419f2319f1fd11ba36def9360 (patch) | |
| tree | fe1418481062fcb4198e6de1618073cde36b1e5f /Library | |
| parent | 8de97dca14ecc9cfe55969401b85f36c9367bece (diff) | |
| download | brew-e13a93dd758d39d419f2319f1fd11ba36def9360.tar.bz2 | |
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" |