How-To Geek on MSN

This bash redirection trick replaces echo | command

The here string is the leaner, more versatile cousin of the here doc.
Ars Technica

How to redirect output of "time" command?

I can run the time command easily enough, but the normal redirection symbols in Bash don't seem to have any effect on time's ability to output to STDOUT.<BR><BR ...