diff options
Diffstat (limited to 'etc/p')
-rwxr-xr-x | etc/p | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +#!/bin/sh + +# p -- maybe view command output in pager + +[ -t 0 ] && exec /bin/sh -c '"$@" 2>&1 | "$0"' "$0" "$@" + +cat | tee /var/tmp/pg |