diff options
| author | David Torosyan <davidtorosyan.git@gmail.com> | 2019-01-20 17:32:34 -0800 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2019-01-22 20:03:59 -0500 |
| commit | 718a00f6f2f88238546f7d33c1ea52217002495e (patch) | |
| tree | 6dc4db1c1d1af1f5d87957754341b4f74ff41984 /CHANGELOG.md | |
| parent | 7cbc535d70a53c81dfa3e58552c01f21c2e38d28 (diff) | |
ripgrep: add --ignore-file-case-insensitive
The --ignore-file-case-insensitive flag causes all
.gitignore/.rgignore/.ignore files to have their globs matched without
regard for case. Because this introduces a potentially significant
performance regression, this is always disabled by default. Users that
need case insensitive matching can enable it on a case by case basis.
Closes #1164, Closes #1170
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 53c21cc2..e7792a3d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,13 @@ +0.11.0 (TBD) +============ +TODO. + +Feature enhancements: + +* [FEATURE #1170](https://github.com/BurntSushi/ripgrep/pull/1170): + Add `--ignore-file-case-insensitive` for case insensitive .ignore globs. + + 0.10.0 (2018-09-07) =================== This is a new minor version release of ripgrep that contains some major new |