1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-03-03 14:32:22 +02:00

ignore/types: add 'diff' file type

This includes .patch and .diff files.

Fixes #1418, Closes #1419
This commit is contained in:
Sven-Hendrik Haase 2019-11-04 14:28:46 +01:00 committed by Andrew Gallant
parent e71eedf0eb
commit 027adbf485
2 changed files with 2 additions and 0 deletions

View File

@ -9,6 +9,7 @@ Performance improvements:
Feature enhancements:
* Added or improved file type filtering for diff.
* [FEATURE #1390](https://github.com/BurntSushi/ripgrep/pull/1390):
Add new `--no-context-separator` flag that always hides context separators.

View File

@ -134,6 +134,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
("dart", &["*.dart"]),
("d", &["*.d"]),
("dhall", &["*.dhall"]),
("diff", &["*.patch", "*.diff"]),
("docker", &["*Dockerfile*"]),
("edn", &["*.edn"]),
("elisp", &["*.el"]),