diff options
Diffstat (limited to 'bin/dvtm-pager')
| -rwxr-xr-x | bin/dvtm-pager | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/dvtm-pager b/bin/dvtm-pager deleted file mode 100755 index 975582b..0000000 --- a/bin/dvtm-pager +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -if [ ! -z "$DVTM_PAGER" ]; then - PAGER="$DVTM_PAGER" -elif [ ! -z "$PAGER" ]; then - PAGER="$PAGER" -else - PAGER="less -R" -fi - -exec $PAGER "$@" |