1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2024-12-12 19:18:24 +02:00

fmt: shorten --ignore-file-case-insensitive description

This commit is contained in:
Andrew Gallant 2019-01-26 13:45:02 -05:00
parent 332dc56372
commit afb89bcdad
No known key found for this signature in database
GPG Key ID: B2E3A4923F8B0D44

View File

@ -1212,8 +1212,7 @@ directly on the command line, then used -g instead.
}
fn flag_ignore_file_case_insensitive(args: &mut Vec<RGArg>) {
const SHORT: &str =
"Process ignore files (.gitignore, .ignore, etc.) case insensitively.";
const SHORT: &str = "Process ignore files case insensitively.";
const LONG: &str = long!("\
Process ignore files (.gitignore, .ignore, etc.) case insensitively. Note that
this comes with a performance penalty and is most useful on case insensitive