# HG changeset patch
# User Zeger Van de Vannet <zegervdv@me.com>
# Date 1608213470 -3600
# Node ID 2665e0073dcc5b09b4a82585f3fc7ee463274fb5
# Parent  7220aa431ce081f012b86198dce21819aac70ed7
Add bat configuration

diff -r 7220aa431ce0 -r 2665e0073dcc dot_config/bat/.keep
diff -r 7220aa431ce0 -r 2665e0073dcc dot_config/bat/config
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dot_config/bat/config	Thu Dec 17 14:57:50 2020 +0100
@@ -0,0 +1,2 @@
+--theme="One Dark Tomorrow"
+--pager="less -FR"