1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-01-13 21:28:13 +02:00

ignore/types: add devicetree filetype

See: https://www.devicetree.org/

PR #2349
This commit is contained in:
Armin Brauns 2022-11-14 13:42:57 +01:00 committed by GitHub
parent 0000157917
commit 25a4eaf5ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -56,6 +56,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[
("cython", &["*.pyx", "*.pxi", "*.pxd"]),
("d", &["*.d"]),
("dart", &["*.dart"]),
("devicetree", &["*.dts", "*.dtsi"]),
("dhall", &["*.dhall"]),
("diff", &["*.patch", "*.diff"]),
("docker", &["*Dockerfile*"]),