diff options
author | Andrew Gallant <jamslam@gmail.com> | 2016-09-14 14:33:37 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2016-09-14 14:33:37 -0400 |
commit | 92c918ebd982604eac93cd15690acf75617c0df4 (patch) | |
tree | df301c48623463561718da03a1c28419a89f8a59 | |
parent | c24f8fd50f39437799069ce9ad29d9df9ba8ca97 (diff) |
--no-ignore implies --no-ignore-parent
-rw-r--r-- | src/args.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/args.rs b/src/args.rs index 1ddc0497..0c9895fd 100644 --- a/src/args.rs +++ b/src/args.rs @@ -124,6 +124,7 @@ Less common options: --no-ignore Don't respect ignore files (.gitignore, .rgignore, etc.) + This implies --no-ignore-parent. --no-ignore-parent 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, mmap: mmap, 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, replace: self.flag_replace.clone().map(|s| s.into_bytes()), text: self.flag_text, |