diff --git a/bashrc_add b/bashrc_add index 32a669d..51fa336 100755 --- a/bashrc_add +++ b/bashrc_add @@ -147,6 +147,11 @@ if [[ $- = *i* ]] ; then MYSHELLCONFIG_GIT_REMOTE_PUSH=${MYSHELLCONFIG_GIT_REMOTE_PUSH_PUBLIC}${MYSHELLCONFIG_GIT_REPO_NAME} fi + [ -z "${MYSHELLCONFIG_GIT_REMOTE_NAME+x}" ] || export MYSHELLCONFIG_GIT_REMOTE_NAME=origin + [ -z "${MYSHELLCONFIG_GIT_BRANCH+x}" ] || export MYSHELLCONFIG_GIT_BRANCH=master + # If TAG is set, checkout is always headless. + [ -z "${MYSHELLCONFIG_GIT_TAG:+x}" ] || { export MYSHELLCONFIG_GIT_BRANCH=${MYSHELLCONFIG_GIT_TAG}; export MYSHELLCONFIG_GIT_CHECKOUTSCRIPT_OPTIONS=""; } + #GIT_SSH_PATH="/srv/repos" case $TERM in