|
|
|
@ -99,6 +99,8 @@ function setGitPrompt() { |
|
|
|
|
|
|
|
|
|
|
|
git_prompt_config |
|
|
|
git_prompt_config |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
EMPTY_PROMPT=${OLD_GITPROMPT} |
|
|
|
|
|
|
|
|
|
|
|
local repo=`git rev-parse --show-toplevel 2> /dev/null` |
|
|
|
local repo=`git rev-parse --show-toplevel 2> /dev/null` |
|
|
|
if [[ ! -e "${repo}" ]]; then |
|
|
|
if [[ ! -e "${repo}" ]]; then |
|
|
|
PS1="${EMPTY_PROMPT}" |
|
|
|
PS1="${EMPTY_PROMPT}" |
|
|
|
@ -167,6 +169,10 @@ function setGitPrompt() { |
|
|
|
fi |
|
|
|
fi |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ -z "$OLD_GITPROMPT" ]; then |
|
|
|
|
|
|
|
OLD_GITPROMPT=$PS1 |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
if [ -z "$PROMPT_COMMAND" ]; then |
|
|
|
if [ -z "$PROMPT_COMMAND" ]; then |
|
|
|
PROMPT_COMMAND=setGitPrompt |
|
|
|
PROMPT_COMMAND=setGitPrompt |
|
|
|
else |
|
|
|
else |
|
|
|
|