mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-13 21:26:27 +02:00
ignore/types: add WGSL to the default file types
[WGSL][1] is a shading language for WebGPU. As defined in [Appendix A][2], the file extension is `.wgsl`. PR #2774 [1]: https://www.w3.org/TR/WGSL/ [2]: https://www.w3.org/TR/WGSL/#text-wgsl-media-type
This commit is contained in:
parent
80007698d3
commit
2acf25c689
@ -305,6 +305,7 @@ pub(crate) const DEFAULT_TYPES: &[(&[&str], &[&str])] = &[
|
|||||||
]),
|
]),
|
||||||
(&["vue"], &["*.vue"]),
|
(&["vue"], &["*.vue"]),
|
||||||
(&["webidl"], &["*.idl", "*.webidl", "*.widl"]),
|
(&["webidl"], &["*.idl", "*.webidl", "*.widl"]),
|
||||||
|
(&["wgsl"], &["*.wgsl"]),
|
||||||
(&["wiki"], &["*.mediawiki", "*.wiki"]),
|
(&["wiki"], &["*.mediawiki", "*.wiki"]),
|
||||||
(&["xml"], &[
|
(&["xml"], &[
|
||||||
"*.xml", "*.xml.dist", "*.dtd", "*.xsl", "*.xslt", "*.xsd", "*.xjb",
|
"*.xml", "*.xml.dist", "*.dtd", "*.xsl", "*.xslt", "*.xsd", "*.xjb",
|
||||||
|
Loading…
x
Reference in New Issue
Block a user