Boa tarde,

Somente os tempos:
/usr/bin/time -po "/tmp/saida.txt" ls

Saída do ls e os tempos no mesmo arquivo:
/usr/bin/time -p ls >/tmp/saida.txt 2>&1

e:
(time ls) >& log

Utilize o comando especificando o caminho completo: "/usr/bin/time"

Fonte:
http://under-linux.org/forums/shell-script-sh/74086-saida-do-comando-time.html

2006/12/4, Sérgio Durigan Júnior <[EMAIL PROTECTED]>:
>
>   On 12/4/06, Tiago Barcellos Peczenyj <[EMAIL 
> PROTECTED]<tiago.peczenyj%40gmail.com>>
> wrote:
>
> > o time comando interno do bash é dificil (talvez impossivel) de
> redirecionar
> > o seu resultado.
> > o time comando externo (presente no /usr/bin/time) possui uma opção
> chamada
>
> Legal! Não sabia que existiam dois times ;-)... Era esse mesmo que eu
> estava procurando quando dei a resposta hehehe ;-)
>  
>



-- 
by Programming Database


[As partes desta mensagem que não continham texto foram removidas]

Responder a