Bruno BELANYI
5f09bfd935
This was shamelessly stolen from the `bat-extras` repository, with a little modification to call the pager with my wanted default options. This obviously depends on the `bat` utility.
9 lines
170 B
Bash
Executable file
9 lines
170 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
export MANPAGER='sh -c "col -bx | bat --language man --style grid"'
|
|
export MANROFFOPT='-c'
|
|
export BAT_PAGER="$PAGER $LESS"
|
|
|
|
command man "$@"
|
|
exit $?
|