1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-01-19 05:49:14 +02:00

ignore/types: add *.pyi for Python

https://peps.python.org/pep-0484/#stub-files

PR #2517
This commit is contained in:
Ville Skyttä 2023-05-23 14:10:02 +03:00 committed by GitHub
parent 803c447845
commit 335aa4937a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -186,7 +186,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[
("ps", &["*.cdxml", "*.ps1", "*.ps1xml", "*.psd1", "*.psm1"]),
("puppet", &["*.epp", "*.erb", "*.pp", "*.rb"]),
("purs", &["*.purs"]),
("py", &["*.py"]),
("py", &["*.py", "*.pyi"]),
("qmake", &["*.pro", "*.pri", "*.prf"]),
("qml", &["*.qml"]),
("r", &["*.R", "*.r", "*.Rmd", "*.Rnw"]),