From f280553fb1118251f7633e1e5674fe36e0e490d5 Mon Sep 17 00:00:00 2001 From: Ethan P Date: Sat, 21 Aug 2021 15:19:14 -0700 Subject: [PATCH] batman: Only set grid style if BAT_STYLE is not defined --- src/batman.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/batman.sh b/src/batman.sh index b23bd0d..9cc05a9 100755 --- a/src/batman.sh +++ b/src/batman.sh @@ -34,8 +34,12 @@ else BAT_ARGS+=("--color=never" "--decorations=never") fi +if [[ -z "${BAT_STYLE+x}" ]]; then + export BAT_STYLE="grid" +fi + # ----------------------------------------------------------------------------- -export MANPAGER='sh -c "col -bx | '"$(printf "%q" "$EXECUTABLE_BAT")"' --language=man --style=grid '$(printf "%q " "${BAT_ARGS[@]}")'"' +export MANPAGER='sh -c "col -bx | '"$(printf "%q" "$EXECUTABLE_BAT")"' --language=man '$(printf "%q " "${BAT_ARGS[@]}")'"' export MANROFFOPT='-c' command man "${MAN_ARGS[@]}"