ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

doc: suggest ripgrep as an equivalent of git grep

Browse source 
Sadly, ripgrep won't honor the .gitignore files in the absence of a
.git directory, so we need to pass an annoying flag (for non-colocated
repos).

That seems worth adding despite the existing suggestion, because rg is
faster, and for existing users for rg, it would teach them how to make
rg work as expected.
This commit is contained in:
Valentin Gatien-Baron 2024-01-11 14:11:56 -05:00 committed by v-gb
parent ddcd502676
commit 8783a05551
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/git-comparison.md
View file

@ -190,7 +190,7 @@ parent.
</tr> </tr>
<tr> <tr>
<td>Search among files versioned in the repository</td> <td>Search among files versioned in the repository</td>
<td><code>grep foo $(jj files)</code></td> <td><code>grep foo $(jj files)</code>, or <code>rg --no-require-git foo</code></td>
<td><code>git grep foo</code></td> <td><code>git grep foo</code></td>
</tr> </tr>
<tr> <tr>