I/O redirection

2008-12-03 Thread Mayuresh Kathe
Hello, I'm not aware if this has been brought up here before, didn't know how to search for this particular question through the archives, so writing to the list. Pardon me if I'm repeating. I'm under OpenBSD 4.2 running ksh (PD KSH v5.2.14 99/07/13.2) as my shell. I tried to do the following;

Re: I/O redirection

2008-12-03 Thread Otto Moerbeek
On Wed, Dec 03, 2008 at 02:40:59PM +0530, Mayuresh Kathe wrote: Hello, I'm not aware if this has been brought up here before, didn't know how to search for this particular question through the archives, so writing to the list. Pardon me if I'm repeating. I'm under OpenBSD 4.2 running

Re: I/O redirection

2008-12-03 Thread 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 21 Which works as expected.

Re: I/O redirection

2008-12-03 Thread Otto Moerbeek
On Wed, Dec 03, 2008 at 09:49:21AM +, Tom Van Looy wrote: 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 21 Which works as expected. That depends very much on your expectations.

Re: I/O redirection

2008-12-03 Thread Heinrich Rebehn
On Dec 3, 2008, at 10:49 AM, Tom Van Looy wrote: 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 21 Which works as expected. Or use $ (time java helloWorld) time.report 21 -Heinrich