diff options
| author | hupfdule <36069345+hupfdule@users.noreply.github.com> | 2019-04-09 21:17:57 +0200 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2019-04-09 15:17:57 -0400 |
| commit | 4359d8aac0307f7ee36faa7b1ab64646f6160efc (patch) | |
| tree | c83505447da52ea2379e992daf698f70b3cf6e6c | |
| parent | 308819fb1fd47ad8a27ab82401eca69f24971ca0 (diff) | |
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
| -rw-r--r-- | ignore/src/types.rs | 5 |
1 files changed, 4 insertions, 1 deletions
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"]), |