[PATCH] bash prompt: add option to disable for a repository

2013-11-23 Thread Heikki Hokkanen
If bash.prompt is set to false, disable the prompt. This is useful for huge repositories like the home directory. Signed-off-by: Heikki Hokkanen --- git-prompt.sh performance seems to be quite bad for big repositories, so without a way to disable it selectively for repositories, it becomes

Re: [PATCH] bash prompt: add option to disable for a repository

2013-11-23 Thread Heikki Hokkanen
e, except for a separate git repository. And I do believe I'm not the only one putting $HOME under git, so I think some kind of generic solution to this problem would be nice. If running git config on each prompt seems too expensive, do you have any better ideas? Regards, -- Heikki Hokk

Re: [PATCH] bash prompt: add option to disable for a repository

2013-11-25 Thread Heikki Hokkanen
forks, but still allow people to disable git prompt on a per-repository basis. Regards, -- Heikki Hokkanen -- 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