aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2016-07-13 20:16:58 +1200
committerTom Ryder <tom@sanctum.geek.nz>2016-07-13 20:17:09 +1200
commitbe6dab15aec918a7089d18116de293f0489f2f92 (patch)
tree62d65f506316f512a105e4e4bb8be0e7dfbb3ab1 /bin
parentAdd wrdl to games (diff)
downloaddotfiles-be6dab15aec918a7089d18116de293f0489f2f92.tar.gz
dotfiles-be6dab15aec918a7089d18116de293f0489f2f92.zip
Add pit(1)
Diffstat (limited to 'bin')
-rwxr-xr-xbin/pit17
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