1 files changed, 0 insertions, 7 deletions
diff --git a/p b/p
deleted file mode 100755
index b145031..0000000
--- a/p
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-# p -- maybe view command output in pager
-
-[ -t 0 ] && exec /bin/sh -c '"$@" 2>&1 | "$0"' "$0" "$@"
-
-cat | tee /var/tmp/pg