dotfiles

commit 63c22b9e8ac7f6028e132044f3364c3ba8c71da4
parent 3736b3cabe4926decd07ba12fa38e0c3cce40fec
Author: Alex Balgavy <alex@balgavy.eu>
Date:   Tue,  1 Dec 2020 13:29:15 +0100

shell: don't use bat as PAGER

Apparently `bat` isn't supposed to be set as a pager, even though it has
paging capabilities. So they added a 'feature' that makes bat crash when
it's set as a pager. I have no fucking clue why they'd do that.
https://github.com/sharkdp/bat/issues/1413

Former-commit-id: d1b5392ed26ac77a42e142c49794af9a91fd8850
Diffstat:
M
shell/env
 | 
3
+--

1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/shell/env b/shell/env
@@ -9,8 +9,7 @@ export EDITOR
 
 export MUSIC_DIR="/Volumes/HDD/Music/iTunes/iTunes Media/Music"
 
-if command -v bat 1>/dev/null 2>&1 && [ -z "$VIMRUNTIME" ]; then export PAGER="bat"
-else export PAGER="less -Ri"; fi
+export PAGER="less -FRi"
 
 [ -n "$BW_SESHFILE" ] && [ -f "$BW_SESHFILE" ] && export BW_SESSION="$(cat $BW_SESHFILE)"