Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| git_grep [2018/05/24 09:45] – [Popular options] rpjday | git_grep [2018/05/27 13:30] (current) – [Popular options] rpjday | ||
|---|---|---|---|
| Line 41: | Line 41: | ||
| ===== Popular options ===== | ===== Popular options ===== | ||
| + | |||
| + | In addition to many standard '' | ||
| < | < | ||
| Line 54: | 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. | ||
| </ | </ | ||