Re: [PATCH] git-prompt.sh: Option to hide prompt for ignored pwd

2014-10-15 Thread Richard Hansen
On 2014-10-15 00:06, Jess Austin wrote: > @@ -501,6 +506,13 @@ __git_ps1 () > local f="$w$i$s$u" > local gitstring="$c$b${f:+$z$f}$r$p" > > + if [ -n "${GIT_PS1_HIDE_IF_PWD_IGNORED}" ] && > +[ "$(git config --bool bash.hideIfPwdIgnored)" != "false" ] && > +git chec

[PATCH] git-prompt.sh: Option to hide prompt for ignored pwd

2014-10-14 Thread Jess Austin
Optionally set __git_ps1 to display nothing when present working directory is ignored, triggered by the new environmental variable GIT_PS1_HIDE_IF_PWD_IGNORED. This environmental variable may be overridden on any repository by setting bash.hideIfPwdIgnored to "false". In the absence of GIT_PS1_HIDE