mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-04-24 17:12:16 +02:00
parent
d6748a3445
commit
c749b604dc
12
src/app.rs
12
src/app.rs
@ -1000,12 +1000,12 @@ This flag overrides -s/--case-sensitive and -S/--smart-case.
|
|||||||
fn flag_ignore_file(args: &mut Vec<RGArg>) {
|
fn flag_ignore_file(args: &mut Vec<RGArg>) {
|
||||||
const SHORT: &str = "Specify additional ignore files.";
|
const SHORT: &str = "Specify additional ignore files.";
|
||||||
const LONG: &str = long!("\
|
const LONG: &str = long!("\
|
||||||
Specify one or more files which contain ignore patterns. These patterns are
|
Specifies a path to one or more .gitignore format rules files. These patterns
|
||||||
applied after the patterns found in .gitignore and .ignore are applied. Ignore
|
are applied after the patterns found in .gitignore and .ignore are applied
|
||||||
patterns should be in the gitignore format and are matched relative to the
|
and are matched relative to the current working directory. Multiple additional
|
||||||
current working directory. Multiple additional ignore files can be specified
|
ignore files can be specified by using the --ignore-file flag several times.
|
||||||
by using the --ignore-file flag several times. When specifying multiple ignore
|
When specifying multiple ignore files, earlier files have lower precedence
|
||||||
files, earlier files have lower precedence than later files.
|
than later files.
|
||||||
|
|
||||||
If you are looking for a way to include or exclude files and directories
|
If you are looking for a way to include or exclude files and directories
|
||||||
directly on the command line, then used -g instead.
|
directly on the command line, then used -g instead.
|
||||||
|
Loading…
x
Reference in New Issue
Block a user