Andrew Gallant 560dffd247 ripgrep: add --no-ignore-global flag ...

This commit adds a new --no-ignore-global flag that permits disabling
the use of global gitignore filtering. Global gitignores are generally
found in `$HOME/.config/git/ignore`, but its location can be configured
via git's `core.excludesFile` option.

Closes #934

2018-07-22 10:42:32 -04:00

..

_rg

ripgrep: add --no-ignore-global flag

2018-07-22 10:42:32 -04:00