update.sh: don't cleanup on update for developers.
We’re defining developers as people who have run a dev-cmd at least once.
This commit is contained in:
parent
60d3bf4eb9
commit
691d57f594
@ -159,7 +159,7 @@ reset_on_interrupt() {
|
||||
git reset --hard "$INITIAL_REVISION" "${QUIET_ARGS[@]}"
|
||||
fi
|
||||
|
||||
if [[ -n "$HOMEBREW_DEVELOPER" ]]
|
||||
if [[ -n "$HOMEBREW_NO_UPDATE_CLEANUP" ]]
|
||||
then
|
||||
pop_stash
|
||||
else
|
||||
@ -243,7 +243,7 @@ EOS
|
||||
if [[ "$INITIAL_BRANCH" != "$UPSTREAM_BRANCH" && -n "$INITIAL_BRANCH" ]]
|
||||
then
|
||||
|
||||
if [[ -z "$HOMEBREW_DEVELOPER" ]]
|
||||
if [[ -z "$HOMEBREW_NO_UPDATE_CLEANUP" ]]
|
||||
then
|
||||
echo "Checking out $UPSTREAM_BRANCH in $DIR..."
|
||||
echo "To checkout $INITIAL_BRANCH in $DIR run:"
|
||||
@ -286,7 +286,7 @@ EOS
|
||||
|
||||
trap '' SIGINT
|
||||
|
||||
if [[ -n "$HOMEBREW_DEVELOPER" ]]
|
||||
if [[ -n "$HOMEBREW_NO_UPDATE_CLEANUP" ]]
|
||||
then
|
||||
if [[ "$INITIAL_BRANCH" != "$UPSTREAM_BRANCH" && -n "$INITIAL_BRANCH" ]]
|
||||
then
|
||||
@ -335,6 +335,14 @@ EOS
|
||||
set -x
|
||||
fi
|
||||
|
||||
if [[ -z "$HOMEBREW_UPDATE_CLEANUP" ]]
|
||||
then
|
||||
if [[ -n "$HOMEBREW_DEVELOPER" || -n "$HOMEBREW_DEV_CMD_RUN" ]]
|
||||
then
|
||||
export HOMEBREW_NO_UPDATE_CLEANUP="1"
|
||||
fi
|
||||
fi
|
||||
|
||||
if [[ -z "$HOMEBREW_AUTO_UPDATE_SECS" ]]
|
||||
then
|
||||
HOMEBREW_AUTO_UPDATE_SECS="60"
|
||||
|
Loading…
x
Reference in New Issue
Block a user