dvtm-pager


1
2
3
4
5
6
7
8
9
10
11

#!/bin/sh

if [ ! -z "$DVTM_PAGER" ]; then
	PAGER="$DVTM_PAGER"
elif [ ! -z "$PAGER" ]; then
	PAGER="$PAGER"
else
	PAGER="less -R"
fi

exec $PAGER "$@"