|
|
|
@ -331,7 +331,7 @@ function setGitPrompt() { |
|
|
|
|
|
|
|
|
|
|
|
git_prompt_config |
|
|
|
git_prompt_config |
|
|
|
|
|
|
|
|
|
|
|
if [[ ! -e "$repo" ]]; then |
|
|
|
if [[ ! -e "$repo" ]] || [[ "$GIT_PROMPT_DISABLE" = 1 ]]; then |
|
|
|
PS1="$EMPTY_PROMPT" |
|
|
|
PS1="$EMPTY_PROMPT" |
|
|
|
return |
|
|
|
return |
|
|
|
fi |
|
|
|
fi |
|
|
|
@ -570,6 +570,16 @@ function prompt_callback_default { |
|
|
|
return |
|
|
|
return |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# toggle gitprompt |
|
|
|
|
|
|
|
function git_prompt_toggle() { |
|
|
|
|
|
|
|
if [[ "$GIT_PROMPT_DISABLE" = 1 ]]; then |
|
|
|
|
|
|
|
GIT_PROMPT_DISABLE=0 |
|
|
|
|
|
|
|
else |
|
|
|
|
|
|
|
GIT_PROMPT_DISABLE=1 |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
return |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function gp_install_prompt { |
|
|
|
function gp_install_prompt { |
|
|
|
if [ -z "$OLD_GITPROMPT" ]; then |
|
|
|
if [ -z "$OLD_GITPROMPT" ]; then |
|
|
|
OLD_GITPROMPT=$PS1 |
|
|
|
OLD_GITPROMPT=$PS1 |
|
|
|
|