blob: f91be68000265ec76c3dd57359cbf2ea51ffef3a (
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 /dev/stdin
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
|
