brew.sh: set HOMEBREW_DEVELOPER from Git config.
This commit is contained in:
parent
f37d004ab5
commit
42c2ed5e7f
@ -191,6 +191,16 @@ case "$HOMEBREW_COMMAND" in
|
||||
--config) HOMEBREW_COMMAND="config" ;;
|
||||
esac
|
||||
|
||||
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.developermode)"
|
||||
if [[ "$HOMEBREW_GIT_CONFIG_DEVELOPERMODE" = "true" ]]
|
||||
then
|
||||
export HOMEBREW_DEVELOPER="1"
|
||||
fi
|
||||
fi
|
||||
|
||||
if [[ -f "$HOMEBREW_LIBRARY/Homebrew/cmd/$HOMEBREW_COMMAND.sh" ]]
|
||||
then
|
||||
HOMEBREW_BASH_COMMAND="$HOMEBREW_LIBRARY/Homebrew/cmd/$HOMEBREW_COMMAND.sh"
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user