chiark / gitweb /
Merge branch 'master' of git+ssh://metalzone.distorted.org.uk/~mdw/etc/profile
[profile] / bin / mdw-pager
1 #! /bin/sh
2
3 set -e
4 pager=${MDW_PAGER-less}
5 [ -t 1 ] || TERM=dumb
6 case "$PAGER,$TERM" in
7   mdw-pager,dumb) pager=cat;;
8   mdw-pager,*);;
9   *,*) pager=$PAGER;;
10 esac
11 exec $pager "$@"