blob: 418732d0295bda2a2c0ac77add87f9bcf47b6b92 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Show arguments or output in a pager if stdout looks like a terminal
# 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
|