diff options
Diffstat (limited to 'bin/pit.sh')
-rw-r--r-- | bin/pit.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/pit.sh b/bin/pit.sh new file mode 100644 index 00000000..377c1927 --- /dev/null +++ b/bin/pit.sh @@ -0,0 +1,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 |