diff options
| -rw-r--r-- | .config/zsh/.zshenv | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.config/zsh/.zshenv b/.config/zsh/.zshenv index eee33d7..c5d2066 100644 --- a/.config/zsh/.zshenv +++ b/.config/zsh/.zshenv @@ -10,3 +10,10 @@ if [[ $INTELLIJ -eq 1 ]]; then fi [[ -f "$HOME/.cargo/env" ]] && . "$HOME/.cargo/env" + +if command -v bat &> /dev/null; then + export MANPAGER="sh -c 'col -bx | bat --plain --language man'" + # note that mandoc needs a wrapper script e.g.: + # col -bx < "$1" | bat -p -l man + # <https://github.com/sharkdp/bat/issues/1145> +fi |