mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-07-26 09:42:00 -07:00
cli: '--no-ignore-dot' should also '.rgignore'
Fixes #2198, Closes #2202
This commit is contained in:
committed by
Andrew Gallant
parent
cfe357188d
commit
f3241fd657
@@ -872,7 +872,7 @@ impl ArgMatches {
|
||||
.git_exclude(!self.no_ignore_vcs() && !self.no_ignore_exclude())
|
||||
.require_git(!self.is_present("no-require-git"))
|
||||
.ignore_case_insensitive(self.ignore_file_case_insensitive());
|
||||
if !self.no_ignore() {
|
||||
if !self.no_ignore() && !self.no_ignore_dot() {
|
||||
builder.add_custom_ignore_filename(".rgignore");
|
||||
}
|
||||
let sortby = self.sort_by()?;
|
||||
|
Reference in New Issue
Block a user