way to ignore certain git directories

[cagney]

Is there a way to flag that certain very large git repositories should be ignored by pretty-git-prompt?
For instance, step into the linux sources and there's a 1s pause; step into BSD source and:

[netbsd-10]$ date
Tue 31 Oct 2023 02:56:34 PM EDT
date
[netbsd-10]$ date
Tue 31 Oct 2023 02:57:02 PM EDT

the initial pause is about 30 seconds; refreshing the index gets the time down to a few seconds though.

[TomasTomecek]

Hi, this is a great suggestion! I also struggled with it while working with sources such as linux kernel, kubernetes or systemd.

You can solve this on a shell level. I use zsh and this is how I invoke pretty-git-prompt:

local show_git_stats='$(pretty-git-prompt)'

RPROMPT="${jobs_d} ${return_code} ${show_git_stats}"

show_git_stats could be a shell function that prints nothing for those ignored paths, otherwise it invokes the tool

Hope this helps.