Re: redirect time to file

[Matus UHLAR - fantomas <uhlar@fantomas.sk>]

On 17.04.09 22:00, Erik Xavior wrote:
> $ time echo hi > file
> 
> real    0m0.000s
> user    0m0.000s
> sys     0m0.000s
> $
> 
> why doesn't it redirect the:
> 
> real    0m0.000s
> user    0m0.000s
> sys     0m0.000s
> 
> to the "file"?
> 
> even
> time echo hi 2>&1 > file
> doesnt work :O

becayse many shell docs say you must first redirect strout to somewhere and
THEN stderr to stdout.

2>&1 > file redirects stderr to stdout and only stdout to file, stderr will
then point where stdout pointed before.

-- 
Matus UHLAR - fantomas, uhlar@fantomas.sk ; http://www.fantomas.sk/
Warning: I wish NOT to receive e-mail advertising to this address.
Varovanie: na tuto adresu chcem NEDOSTAVAT akukolvek reklamnu postu.
Micro$oft random number generator: 0, 0, 0, 4.33e+67, 0, 0, 0...