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 ...
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.
This post covers some well-known Linux commands that, when used with particular options and arguments, can save you some time or ensure that what you are doing is what you intended. The first “trick” ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results