[PATCH] bash: Disable __git_ps1() if NO_GIT_PS1 is set
- From
Øyvind A. Holm <sunny@sunbase.org>
- Date
- May 4, 2011, 22:11 UTC
- Message-ID
- <20110504221153.GB15161@linode>
If the user works in a big repository on a slow USB disk or network drive, __git_ps1() can result in a significant delay before the prompt reappears. By setting the environment variable NO_GIT_PS1 to a nonempty value, the use of __git_ps1() is temporarily disabled.
Signed-off-by: Øyvind A. Holm <sunny@sunbase.org> --- contrib/completion/git-completion.bash | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/contrib/completion/git-completion.bash b/contrib/completion/git-completion.bash index 0df356d..ee8cef5 100755 --- a/contrib/completion/git-completion.bash +++ b/contrib/completion/git-completion.bash @@ -60,6 +60,11 @@ # per-repository basis by setting the bash.showUpstream config # variable. # +# When working in a big repository on a slow USB disk or network +# drive, __git_ps1 may result in a noticeable delay before the prompt +# reappears. To temporarily disable the use of __git_ps1, set +# NO_GIT_PS1 to a nonempty value. +# # # To submit patches: # @@ -225,6 +230,7 @@ __git_ps1_show_upstream () # returns text to add to bash PS1 prompt (includes branch name) __git_ps1 () { + [ -z "$NO_GIT_PS1" ] || return local g="$(__gitdir)" if [ -n "$g" ]; then local r=""
-- 1.7.5.185.g0b9dee