Hi.  I see this:

> $ [[ -p /dev/stdin ]] && echo pipe || echo nopipe
> nopipe
> $ [[ -t /dev/stdin ]] && echo term || echo noterm
> noterm

Am I missing something?  I tested various scenarios and stdin is never a pipe, neither a tty for me.

-- 
David Macek