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 /tests | |
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 'tests')
-rw-r--r-- | tests/regression.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/regression.rs b/tests/regression.rs index 4ee3ab53..90760ec9 100644 --- a/tests/regression.rs +++ b/tests/regression.rs @@ -568,3 +568,16 @@ rgtest!(r1064, |dir: Dir, mut cmd: TestCommand| { dir.create("input", "abc"); eqnice!("input:abc\n", cmd.arg("a(.*c)").stdout()); }); + +// See: https://github.com/BurntSushi/ripgrep/issues/1164 +rgtest!(r1164, |dir: Dir, mut cmd: TestCommand| { + dir.create_dir(".git"); + dir.create(".gitignore", "myfile"); + dir.create("MYFILE", "test"); + + cmd.arg("--ignore-file-case-insensitive").arg("test").assert_err(); + eqnice!( + "MYFILE:test\n", + cmd.arg("--no-ignore-file-case-insensitive").stdout() + ); +}); |