Fix batman.sh incorrectly disabling the pager

This commit is contained in:
Ethan P 2019-12-23 16:20:28 -08:00
parent 8339354189
commit 7cabaa620d
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA

View File

@ -25,7 +25,6 @@ fi
# -----------------------------------------------------------------------------
export MANPAGER='sh -c "col -bx | '"$(printf "%q" "$BAT")"' --language=man --style=grid '"${BAT_ARGS[@]}"'"'
export MANROFFOPT='-c'
export BAT_PAGER="$PAGER"
command man "${MAN_ARGS[@]}"
exit $?