diff --git a/scripts/batman b/scripts/batman new file mode 100755 index 0000000..b0e79a9 --- /dev/null +++ b/scripts/batman @@ -0,0 +1,8 @@ +#!/usr/bin/env bash + +export MANPAGER='sh -c "col -bx | bat --language man --style grid"' +export MANROFFOPT='-c' +export BAT_PAGER="$PAGER $LESS" + +command man "$@" +exit $?