3 ms·
git grep can be used outside a git repo (git 1.7.8): --no-index
by hyp0 13y ago
git grep can be used outside a git repo (git 1.7.8):
--no-index
- notfoss 13y agoI was confused after reading your comment, as I initially ran "git grep" in my $HOME and it worked fine. Then I remembered that my $HOME is managed using git! Indeed, it doesn't work in a non git directory without the switch. Thanks for pointing it out.