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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results