Re: [shell-script] redirecionamneto da saida time

[Tiago Barcellos Peczenyj]

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 <address@hidden> 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]