Re: redirecionamneto da saida time

[Adalberto Gualeve]

Valeu... na verdade eu não tinha o time externo. Agora funcionou

;-)


--- Em address@hidden, "Tiago Barcellos Peczenyj"
<tiago.peczenyj@...> escreveu
>
> Ola
> 
> 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
> -o
> 
>        -o FILE, --output=FILE
>               Do not send the results to stderr, but overwrite the
specified
> file.
> 
> logo é uma questão de usar o time correto e a opção adequada ;-)
> 
> On 12/4/06, Adalberto Gualeve <gualeve@...> wrote:
> >
> >   pessoal,
> >
> > estou tentando escrever um script que gera um log com os tempos do
> > comando "dd" (repetido várias vezes). A repetição tudo bem, mas o
> > redirecionamento da saída não grava nada. Estou fazendo (sei que ta
> > errado) assim:
> >
> > $ time dd if=..... >> saida.log
> > 80+0 records in
> > 80+0 records out
> > 40960 bytes (41 kB) copied, 0,00076 seconds, 53,9 MB/s
> >
> > real 0m0.005s
> > user 0m0.001s
> > sys 0m0.002s
> >
> > ...como podem ver, o resultado sai na tela, e saida.log continua
> > vazio.... :(
> >
> > alguma ideia????
> >
> >  
> >
> 
> 
> 
> -- 
> Tiago B Peczenyj
> Linux User #405772
> 
> # cd /pub
> # more beer
> 
> 
> [As partes desta mensagem que não continham texto foram removidas]
>