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 .
+
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
2 matches
Mail list logo