From 5dfbb3fb903f7752726003e675344bff7441befb Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Thu, 3 Oct 2019 13:38:00 +0200
Subject: [PATCH] [UPDATE][SHELL] BAT_PAGER variable in profile

I don't want my pager to clobber my terminal once I'm done looking at
whatever I was looking at.

This also means that I can remove its definition from the `batman`
script.
---
 scripts/batman | 1 -
 shell/.profile | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/batman b/scripts/batman
index b0e79a9..ba8dc96 100755
--- a/scripts/batman
+++ b/scripts/batman
@@ -2,7 +2,6 @@
 
 export MANPAGER='sh -c "col -bx | bat --language man --style grid"'
 export MANROFFOPT='-c'
-export BAT_PAGER="$PAGER $LESS"
 
 command man "$@"
 exit $?
diff --git a/shell/.profile b/shell/.profile
index 0af0ca7..4050165 100644
--- a/shell/.profile
+++ b/shell/.profile
@@ -28,6 +28,9 @@ export LESS_TERMCAP_se=$'\E[0m'        # reset reverse video
 export LESS_TERMCAP_us=$'\E[1;32m'     # begin underline
 export LESS_TERMCAP_ue=$'\E[0m'        # reset underline
 
+# Use my preferred pager settings for bat
+export BAT_PAGER="$PAGER $LESS"
+
 # Rust installation
 export PATH="$HOME/.cargo/bin:$PATH"