mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 09:40:22 -07:00
ignore/types: add *.org_archive to org file type
.org_archive is the default extension for Org archive files, created when entries from an Org-mode file are archived (see <https://orgmode.org/org.html#Moving-subtrees>). These files are still in Org mode format, so it's worth searching them at the same time as non-archive Org mode files. PR #1475
This commit is contained in:
parent
f8fb65f7e3
commit
e76807b1b5
@ -226,7 +226,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
|
||||
("objc", &["*.h", "*.m"]),
|
||||
("objcpp", &["*.h", "*.mm"]),
|
||||
("ocaml", &["*.ml", "*.mli", "*.mll", "*.mly"]),
|
||||
("org", &["*.org"]),
|
||||
("org", &["*.org", "*.org_archive"]),
|
||||
("pascal", &["*.pas", "*.dpr", "*.lpr", "*.pp", "*.inc"]),
|
||||
("perl", &["*.perl", "*.pl", "*.PL", "*.plh", "*.plx", "*.pm", "*.t"]),
|
||||
("pdf", &["*.pdf"]),
|
||||
|
Loading…
x
Reference in New Issue
Block a user