Adds better support for .bat files; Fixes docs/make.bat

2020-11-03 09:16:14 -08:00 · 2020-11-03 09:16:14 -08:00 · 70e7f22cf4
parent a03573c8d6
commit 70e7f22cf4
3 changed files with 39 additions and 35 deletions
--- a/.gitattributes
+++ b/.gitattributes
@ -1,2 +1,5 @@
 *.sh text eol=lf
 *.bash text eol=lf
+
+# Windows files
+*.bat text eol=crlf
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@ -25,3 +25,4 @@ repos:
    hooks:
      # - id: forbid-crlf
      - id: remove-crlf
+        exclude: ".bat$"