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 check-ignore -q . +

[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