diff options
| author |  Jess Austin <jess.austin@gmail.com> | 2015-01-06 20:22:27 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-01-07 10:30:30 -0800 |
| commit | 0120b8c85c7a52b26ea7062fec349d178a4e0208 (patch) | |
| tree | 240588564286b674cd164057738dbbb5d020002e /git-mergetool--lib.sh | |
| parent | git-prompt.sh: if pc mode, immediately set PS1 to a plain prompt (diff) | |
| download | tgif-0120b8c85c7a52b26ea7062fec349d178a4e0208.tar.xz | |
git-prompt.sh: allow to hide prompt for ignored pwd
Optionally set __git_ps1 to display nothing when present working
directory is ignored, triggered by the new environment variable
GIT_PS1_HIDE_IF_PWD_IGNORED. This environment variable may be
overridden on any repository by setting bash.hideIfPwdIgnored to
"false". In the absence of GIT_PS1_HIDE_IF_PWD_IGNORED this change
has no effect.
Many people manage e.g. dotfiles in their home directory with git.
This causes the prompt generated by __git_ps1 to refer to that "top
level" repo while working in any descendant directory. That can be
distracting, so this patch helps one shut off that noise.
Signed-off-by: Jess Austin <jess.austin@gmail.com>
Signed-off-by: Richard Hansen <rhansen@bbn.com>
Reviewed-by: Richard Hansen <rhansen@bbn.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-mergetool--lib.sh')
0 files changed, 0 insertions, 0 deletions