From 4359d8aac0307f7ee36faa7b1ab64646f6160efc Mon Sep 17 00:00:00 2001 From: hupfdule <36069345+hupfdule@users.noreply.github.com> Date: Tue, 9 Apr 2019 21:17:57 +0200 Subject: ignore/types: add more extensions for xml This includes: *.dtd for Document Type Definitions *.xsl and *.xslt for XSL Transformation descriptions *.xsd for XML Schema definitions *.xjb for JAXB bindings *.rng for Relax NG files *.sch for Schematron files PR #1243 --- ignore/src/types.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ignore/src/types.rs b/ignore/src/types.rs index 47e9a765..79e6c9bf 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -301,7 +301,10 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ ("vimscript", &["*.vim"]), ("wiki", &["*.mediawiki", "*.wiki"]), ("webidl", &["*.idl", "*.webidl", "*.widl"]), - ("xml", &["*.xml", "*.xml.dist"]), + ("xml", &[ + "*.xml", "*.xml.dist", "*.dtd", "*.xsl", "*.xslt", "*.xsd", "*.xjb", + "*.rng", "*.sch", + ]), ("xz", &["*.xz", "*.txz"]), ("yacc", &["*.y"]), ("yaml", &["*.yaml", "*.yml"]), -- cgit v1.2.3