dot-files/scripts/batman
Bruno BELANYI 5dfbb3fb90 [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.
2019-10-18 22:17:20 +02:00

8 lines
138 B
Bash
Executable file

#!/usr/bin/env bash
export MANPAGER='sh -c "col -bx | bat --language man --style grid"'
export MANROFFOPT='-c'
command man "$@"
exit $?