#!/bin/sh # p -- maybe view command output in pager [ -t 0 ] && exec /bin/sh -c '"$@" | "$0"' "$0" "$@" cat | tee /var/tmp/pg