Re: I/O redirection

[Tom Van Looy]

>No, check the ksh man page.

Or, you could use the /usr/bin/time command to just avoid the ksh builtin.
/usr/bin/time java helloWorld >time.report 2>&1
Which works as expected.