chiark / gitweb /
dot/e16-bindings, bin/media-keys: Keybindings for media players.
[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 | \
8     mdw-pager,emacs | mdw-pager,emacs-grep)
9     pager=cat;;
10   mdw-pager,*);;
11   *,*) pager=$PAGER;;
12 esac
13 exec $pager "$@"