chiark / gitweb /
Great reorganization.
[profile] / bin / mdw-pager
diff --git a/bin/mdw-pager b/bin/mdw-pager
new file mode 100755 (executable)
index 0000000..cd59476
--- /dev/null
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+set -e
+pager=${MDW_PAGER-less}
+[ -t 1 ] || TERM=dumb
+case "$PAGER,$TERM" in
+  mdw-pager,dumb) pager=cat;;
+  mdw-pager,*);;
+  *,*) pager=$PAGER;;
+esac
+exec $pager "$@"