Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| git_grep [2018/05/24 09:46] – [Popular options] rpjday | git_grep [2018/05/27 13:30] (current) – [Popular options] rpjday | ||
|---|---|---|---|
| Line 56: | Line 56: | ||
| Also search in ignored files by not honoring the .gitignore | Also search in ignored files by not honoring the .gitignore | ||
| mechanism. Only useful with --untracked. | mechanism. Only useful with --untracked. | ||
| - | |||
| - | --exclude-standard | ||
| - | Do not pay attention to ignored files specified via the | ||
| - | .gitignore mechanism. Only useful when searching files in the | ||
| - | current directory with --no-index. | ||
| </ | </ | ||