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