lib: Add BASH_IT_DEVELOPMENT_BRANCH variable

pull/1626/head
Noah Gorny 2020-07-17 16:36:57 +03:00
parent ecf65569ce
commit 8e6876719b
2 changed files with 8 additions and 1 deletions

View File

@ -181,6 +181,9 @@ _bash-it_update-() {
if [ -z "$BASH_IT_REMOTE" ]; then if [ -z "$BASH_IT_REMOTE" ]; then
BASH_IT_REMOTE="origin" BASH_IT_REMOTE="origin"
fi fi
if [ -z "$BASH_IT_DEVELOPMENT_BRANCH" ]; then
BASH_IT_DEVELOPMENT_BRANCH="master"
fi
# Defaults to stable update # Defaults to stable update
if [ -z "$1" ] || [ "$1" == "stable" ]; then if [ -z "$1" ] || [ "$1" == "stable" ]; then
version="stable" version="stable"
@ -192,7 +195,7 @@ _bash-it_update-() {
fi fi
else else
version="dev" version="dev"
TARGET=${BASH_IT_REMOTE}/master TARGET=${BASH_IT_REMOTE}/${BASH_IT_DEVELOPMENT_BRANCH}
fi fi
git fetch $BASH_IT_REMOTE --tags &> /dev/null git fetch $BASH_IT_REMOTE --tags &> /dev/null

View File

@ -18,6 +18,10 @@ export BASH_IT_THEME='bobby'
# cloned bash-it with a remote other than origin such as `bash-it`. # cloned bash-it with a remote other than origin such as `bash-it`.
# export BASH_IT_REMOTE='bash-it' # export BASH_IT_REMOTE='bash-it'
# (Advanced): Change this to the name of the main development branch if
# you renamed it or if it was changed for some reason
# export BASH_IT_DEVELOPMENT_BRANCH='master'
# Your place for hosting Git repos. I use this for private repos. # Your place for hosting Git repos. I use this for private repos.
export GIT_HOSTING='git@git.domain.com' export GIT_HOSTING='git@git.domain.com'