2 files changed, 12 insertions, 0 deletions
diff --git a/P b/P
new file mode 100755
index 0000000..3c11b20
--- /dev/null
+++ b/P
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+# P -- open file processed with p in PAGER
+
+"$PAGER" /var/tmp/pg
diff --git a/p b/p
new file mode 100755
index 0000000..fa6db76
--- /dev/null
+++ b/p
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+# p -- maybe view command output in pager
+
+[ -t 0 ] && exec /bin/sh -c '"$@" | "$0"' "$0" "$@"
+
+cat | tee /var/tmp/pg