From 5cbbbb6ebca5c45fb463fb8737b191a3bc712fff Mon Sep 17 00:00:00 2001 From: Ethan P Date: Sat, 15 Feb 2020 15:10:18 -0800 Subject: [PATCH] batman: Add support for MANPAGER environment variable --- doc/batman.md | 11 +++++++++++ src/batman.sh | 1 + 2 files changed, 12 insertions(+) diff --git a/doc/batman.md b/doc/batman.md index 9dbd686..70b91a1 100644 --- a/doc/batman.md +++ b/doc/batman.md @@ -12,6 +12,17 @@ A script that allows bat to be used as a manual highlighter. +**Environment:** + +| Variable | Description | +| ---------- | ------------------------------------------------------------ | +| `MANPAGER` | Changes the pager used for `batman`. This is treated like `BAT_PAGER`, but only affects this command. | + + + + + + ## Caveats None so far. diff --git a/src/batman.sh b/src/batman.sh index 27467f6..5075d5d 100755 --- a/src/batman.sh +++ b/src/batman.sh @@ -7,6 +7,7 @@ # ----------------------------------------------------------------------------- LIB="$(cd "$(dirname "${BASH_SOURCE[0]}")" && cd "$(dirname "$(readlink "${BASH_SOURCE[0]}" || echo ".")")/../lib" && pwd)" BAT="bat" +if [[ -n "${MANPAGER}" ]]; then BAT_PAGER="$MANPAGER"; fi source "${LIB}/pager.sh" source "${LIB}/print.sh" source "${LIB}/opt.sh"