Where does the 'time' (shell keyword) write?

2003-10-16 Thread Alex Vinokur
0m0.020s sys 0m0.030s // So, 'time' doesn't write to stderr (?!) Question-1. Where does the 'time' (shell keyword) write? Question-2. How to redirect output of the 'time' (shell keyword)? -- = Alex Vinokur mailto:[EMAIL PROTECTED] http

Re: Where does the 'time' (shell keyword) write?

2003-10-16 Thread Ronald Landheer-Cieslak
0m0.020s sys 0m0.040s // So, 'time' doesn't write to stdin (?!) $ time ls 2 zzz2 dummy1 dummy2 zzz real0m0.040s user0m0.020s sys 0m0.030s // So, 'time' doesn't write to stderr (?!) Question-1. Where does the 'time' (shell keyword) write? Question-2. How to redirect

Re: Where does the 'time' (shell keyword) write?

2003-10-16 Thread Igor Pechtchanski
zzz2 dummy1 dummy2 zzz real0m0.040s user0m0.020s sys 0m0.030s // So, 'time' doesn't write to stderr (?!) Question-1. Where does the 'time' (shell keyword) write? stderr, but any redirection will be attributed to the command, not the keyword. Question-2. How to redirect output