extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2024-10-05 09:21:57 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update batman.sh to use the pager.sh library script

Browse Source
This commit is contained in:
Ethan P 2019-12-23 16:35:28 -08:00
parent 7cabaa620d
commit e967497387
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/batman.sh
View File

@ -7,11 +7,13 @@
# -----------------------------------------------------------------------------
LIB="$(cd "$(dirname "$(readlink "${BASH_SOURCE[0]}" || echo "${BASH_SOURCE[0]}")")" && pwd)/../lib"
BAT="bat"
source "${LIB}/pager.sh"
source "${LIB}/print.sh"
source "${LIB}/opt.sh"
source "${LIB}/opt_hooks.sh"
# -----------------------------------------------------------------------------
hook_color
hook_pager
# -----------------------------------------------------------------------------
MAN_ARGS=()
BAT_ARGS=()
@ -26,6 +28,12 @@ fi
export MANPAGER='sh -c "col -bx | '"$(printf "%q" "$BAT")"' --language=man --style=grid '"${BAT_ARGS[@]}"'"'
export MANROFFOPT='-c'
if [[ -n "${SCRIPT_PAGER_CMD}" ]]; then
export BAT_PAGER="$(printf "%q " "${SCRIPT_PAGER_CMD}" "${SCRIPT_PAGER_ARGS[@]}")"
else
unset BAT_PAGER
fi
command man "${MAN_ARGS[@]}"
exit $?