mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-08-01 20:52:03 -07:00
--no-ignore implies --no-ignore-parent
This commit is contained in:
@@ -124,6 +124,7 @@ Less common options:
|
|||||||
|
|
||||||
--no-ignore
|
--no-ignore
|
||||||
Don't respect ignore files (.gitignore, .rgignore, etc.)
|
Don't respect ignore files (.gitignore, .rgignore, etc.)
|
||||||
|
This implies --no-ignore-parent.
|
||||||
|
|
||||||
--no-ignore-parent
|
--no-ignore-parent
|
||||||
Don't respect ignore files in parent directories.
|
Don't respect ignore files in parent directories.
|
||||||
@@ -338,7 +339,9 @@ impl RawArgs {
|
|||||||
line_number: !self.flag_no_line_number && self.flag_line_number,
|
line_number: !self.flag_no_line_number && self.flag_line_number,
|
||||||
mmap: mmap,
|
mmap: mmap,
|
||||||
no_ignore: self.flag_no_ignore,
|
no_ignore: self.flag_no_ignore,
|
||||||
no_ignore_parent: self.flag_no_ignore_parent,
|
no_ignore_parent:
|
||||||
|
// --no-ignore implies --no-ignore-parent
|
||||||
|
self.flag_no_ignore_parent || self.flag_no_ignore,
|
||||||
quiet: self.flag_quiet,
|
quiet: self.flag_quiet,
|
||||||
replace: self.flag_replace.clone().map(|s| s.into_bytes()),
|
replace: self.flag_replace.clone().map(|s| s.into_bytes()),
|
||||||
text: self.flag_text,
|
text: self.flag_text,
|
||||||
|
Reference in New Issue
Block a user