extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2025-03-02 15:31:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

batman: Only set grid style if BAT_STYLE is not defined

Browse Source
This commit is contained in:
Ethan P 2021-08-21 15:19:14 -07:00
parent d989b0bfde
commit f280553fb1
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/batman.sh
View File

@ -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[@]}"