diff options
Diffstat (limited to '')
| -rw-r--r-- | profile/.profile.d/bat.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/profile/.profile.d/bat.sh b/profile/.profile.d/bat.sh new file mode 100644 index 0000000..205da87 --- /dev/null +++ b/profile/.profile.d/bat.sh @@ -0,0 +1,9 @@ +#!/bin/sh + +if command -v bat >/dev/null 2>&1; then + export BAT_THEME="base16" + + if [ "${MANPAGER}" == "bat" ]; then + export MANPAGER="sh -c 'col -bx | bat -l man -p'" + fi +fi |