On Mon, Nov 25, 2013 at 03:43:44PM -0800, Jonathan Nieder wrote: > Heikki Hokkanen wrote: > > > If running git config on each prompt seems too expensive, do you have > > any better ideas? > > Perhaps a GIT_PS1_NOT_FOR_THESE_REPOS=repo1:repo2:repo3 setting would > work. > > __git_ps1 would do the one 'git rev-parse --git-dir --...' to find the > repo corresponding to the cwd and then could match against the > configured list to decide whether to return early.
That would be a better interface, but the implementation must cope with colons in paths on Unixes, case insensitive file systems, and different path representations on Windows (C:\path\to\repo vs. /c/PaTh/To/RePo). I'm not sure we want to go there. Gábor -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
