Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Optionally disable git_prompt_info with git config option for very large repos #2270

Merged
merged 1 commit into from Dec 3, 2013

Conversation

michaelorr
Copy link
Contributor

This adds a check to git_prompt_info for the git config option oh-my-zsh.hide-status before doing anything.

Having repo status in the prompt for very large repos becomes unmanageable and git status takes too long to return if it is executed before every PROMPT is shown.

This allows git_prompt_info to be enabled by default but disabled on a repo by repo basis if the flag is set to 1.

This is nothing more than an updated version of #1772 to bring it up to date with the current layout of lib/git.zsh

robbyrussell added a commit that referenced this pull request Dec 3, 2013
Optionally disable git_prompt_info with git config option for very large repos
@robbyrussell robbyrussell merged commit ac83834 into ohmyzsh:master Dec 3, 2013
@michaelorr
Copy link
Contributor Author

Thanks!

@michaelorr
Copy link
Contributor Author

Errrr, whoops. I broke your workflow there didn't I?
Updating the clean/dirty check to use oh-my-zsh.hide-dirty would work for you though? @robbyrussell any opinion on this? I can update this PR with a quick fix, but @javache its literally a one-word change on lib/git.zsh line 16 if you want to just go ahead and do this on your own local copy.

@javache
Copy link

javache commented Dec 5, 2013

@michaelorr Did just that, just wanted it to get fixed here as well :) Thanks for following up on it!

hughdbrown pushed a commit to hughdbrown/oh-my-zsh that referenced this pull request Dec 6, 2013
Optionally disable git_prompt_info with git config option for very large repos
@michaelorr
Copy link
Contributor Author

@javache PR opened #2323

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants