blob: d7ebd4c51969aa7d51478dae1e41b1f116b2a964 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
# 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
|
