From 5f09bfd935a586dbad2c52244d8c7cd77212f5f9 Mon Sep 17 00:00:00 2001 From: Bruno BELANYI Date: Wed, 2 Oct 2019 17:47:27 +0200 Subject: [PATCH] [ADD][SCRIPT] Batman script 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. --- scripts/batman | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 scripts/batman diff --git a/scripts/batman b/scripts/batman new file mode 100755 index 0000000..b0e79a9 --- /dev/null +++ b/scripts/batman @@ -0,0 +1,8 @@ +#!/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 $?