blob: 377c1927393c661e61557559a7779d22b8ac3ec1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# If no arguments, we'll use stdin
if [ "$#" -eq 0 ] ; then
set -- -
fi
# If output seems to be to a terminal, try to run input through a pager of some
# sort; we'll fall back on more(1) to be POSIX-ish
if [ -t 1 ] ; then
"${PAGER:-more}" -- "$@"
# Otherwise, just run it through with cat(1); a good pager does this anyway,
# provided it actually exists
else
cat -- "$@"
fi
|