mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-08-04 10:08:36 +00:00
Merge 0f0503d834
into 3b7fd442a6
This commit is contained in:
commit
98cfdf7d38
1 changed files with 4 additions and 0 deletions
|
@ -798,6 +798,10 @@ impl WalkBuilder {
|
|||
///
|
||||
/// When disabled, git-related ignore rules are applied even when searching
|
||||
/// outside a git repository.
|
||||
///
|
||||
/// In particular, if this is `false` then `.gitignore` files will be read
|
||||
/// from parent directories above the git root directory containing `.git`,
|
||||
/// which is different from the git behavior.
|
||||
pub fn require_git(&mut self, yes: bool) -> &mut WalkBuilder {
|
||||
self.ig_builder.require_git(yes);
|
||||
self
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue