Andrew Gallant c4c43c733e cli: add --no-ignore-files flag ...

The purpose of this flag is to force ripgrep to ignore all --ignore-file
flags (whether they come before or after --no-ignore-files).

This flag can be overridden with --ignore-files.

Fixes #1466

2020-03-15 13:19:14 -04:00

66 KiB

Raw Blame History

View Raw