diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-07-13 20:16:58 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-07-13 20:17:09 +1200 |
commit | be6dab15aec918a7089d18116de293f0489f2f92 (patch) | |
tree | 62d65f506316f512a105e4e4bb8be0e7dfbb3ab1 /bin/pit | |
parent | Add wrdl to games (diff) | |
download | dotfiles-be6dab15aec918a7089d18116de293f0489f2f92.tar.gz dotfiles-be6dab15aec918a7089d18116de293f0489f2f92.zip |
Add pit(1)
Diffstat (limited to 'bin/pit')
-rwxr-xr-x | bin/pit | 17 |
1 files changed, 17 insertions, 0 deletions
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 |