ambroisie/dot-files
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[UPDATE][SHELL] BAT_PAGER variable in profile

Browse source 
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.
This commit is contained in:
Bruno BELANYI 2019-10-03 13:38:00 +02:00
parent 5f09bfd935
commit 5dfbb3fb90
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/batman
View file

@ -2,7 +2,6 @@
export MANPAGER='sh -c "col -bx | bat --language man --style grid"' export MANPAGER='sh -c "col -bx | bat --language man --style grid"'
export MANROFFOPT='-c' export MANROFFOPT='-c'
export BAT_PAGER="$PAGER $LESS"
command man "$@" command man "$@"
exit $? exit $?

3
shell/.profile
View file

@ -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_us=$'\E[1;32m' # begin underline
export LESS_TERMCAP_ue=$'\E[0m' # reset underline export LESS_TERMCAP_ue=$'\E[0m' # reset underline
# Use my preferred pager settings for bat
export BAT_PAGER="$PAGER $LESS"
# Rust installation # Rust installation
export PATH="$HOME/.cargo/bin:$PATH" export PATH="$HOME/.cargo/bin:$PATH"