chiark - git - mdw - profile/blob - 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 "$@"