mirror of
https://github.com/sharkdp/bat
synced 2026-07-17 16:03:19 +00:00
Map ignore files to Git Ignore syntax
This would catch any dotfiles that end in "ignore", but not `.ignore` Set as a lower priority rule (90 vs the usual 50) because it's a blanket assignation. If there are conflict with other, more specific rules, those will take precedence.
This commit is contained in:
committed by
Keith Hall
parent
f11374535d
commit
a4e853c4fa
@@ -0,0 +1,2 @@
|
||||
[mappings]
|
||||
"Git Ignore" = [".?*ignore"]
|
||||
Reference in New Issue
Block a user