chiark / gitweb /
bin/start-ssh-agent: Be more careful about keeping the agent alive.
[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 "$@"