From be6dab15aec918a7089d18116de293f0489f2f92 Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Wed, 13 Jul 2016 20:16:58 +1200 Subject: Add pit(1) --- bin/pit | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 bin/pit (limited to 'bin/pit') diff --git a/bin/pit b/bin/pit new file mode 100755 index 00000000..f91be680 --- /dev/null +++ b/bin/pit @@ -0,0 +1,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 -- cgit v1.2.3