diff options
| author | Mike McQuaid | 2017-11-27 10:15:26 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2017-11-27 10:15:26 +0000 |
| commit | b26a0d4a911ba400f306ccc8bdc8cee42dd302bb (patch) | |
| tree | 6ae1dc084c3263997fb0c0c26f24c7a8ee28eb96 /bin | |
| parent | e41a0a3b819ff0dcc8d01a70b589288183ec17bf (diff) | |
| download | brew-b26a0d4a911ba400f306ccc8bdc8cee42dd302bb.tar.bz2 | |
Enable environment filtering for developers.
If folks have set `HOMEBREW_DEVELOPER` or run a `dev-cmd` then enable
environment filtering by default for them.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/brew | 23 |
1 files changed, 23 insertions, 0 deletions
@@ -59,6 +59,29 @@ do export "$VAR_NEW"="${!VAR}" done +# Set HOMEBREW_DEVELOPER for users who have run a development command +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 [[ -z "$HOMEBREW_NO_ENV_FILTERING" ]] +then + if [[ -n "$HOMEBREW_DEVELOPER" || -n "$HOMEBREW_DEV_CMD_RUN" ]] + then + # Use env filtering by default for users who have run a development command + # This will be enabled by default for all users in future. + export HOMEBREW_ENV_FILTERING="1" + fi +else + unset HOMEBREW_ENV_FILTERING +fi + # test-bot sets environment filtering itself if [[ -n "$HOMEBREW_ENV_FILTERING" && "$1" != "test-bot" ]] then |
