Add Agda and improve TeX ignore support (#207)

Add Agda and improve TeX ignore support

1 files changed, 2 insertions, 1 deletions

diff --git a/ignore/src/types.rs b/ignore/src/types.rs
index dade0003..1ebadaf8 100644
--- a/ignore/src/types.rs
+++ b/ignore/src/types.rs
@@ -80,6 +80,7 @@ use pathutil::file_name;
 use {Error, Match};
 
 const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
+    ("agda", &["*.agda", "*.lagda"]),
     ("asm", &["*.asm", "*.s", "*.S"]),
     ("awk", &["*.awk"]),
     ("c", &["*.c", "*.h", "*.H"]),
@@ -145,7 +146,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
     ("sv", &["*.v", "*.vg", "*.sv", "*.svh", "*.h"]),
     ("swift", &["*.swift"]),
     ("tcl", &["*.tcl"]),
-    ("tex", &["*.tex", "*.cls", "*.sty"]),
+    ("tex", &["*.tex", "*.ltx", "*.cls", "*.sty", "*.bib"]),
     ("ts", &["*.ts", "*.tsx"]),
     ("txt", &["*.txt"]),
     ("toml", &["*.toml", "Cargo.lock"]),