Re: [shell-script] redirecionamneto da saida time

[Flavio Junior]

A solução que passei com os () redireciona o interno do bash mesmo.

vc pode verificar abaixo a diferença dos 2

flavio.carmo@dezessete:~$ type -a time
time is a shell keyword
time is /usr/bin/time
flavio.carmo@dezessete:~$ (time echo xxx) 2>log
xxx
flavio.carmo@dezessete:~$ (/usr/bin/time echo xxx) 2>>log
xxx
flavio.carmo@dezessete:~$ cat log

real    0m0.001s
user    0m0.000s
sys     0m0.000s
0.00user 0.00system 0:00.02elapsed 0%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+184minor)pagefaults 0swaps
flavio.carmo@dezessete:~$

 A saida do time do bash acho mais legivel

Flavio do Carmo Junior


On 12/4/06, Tiago Barcellos Peczenyj <address@hidden> wrote:
>
>   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 <gualeve%40yahoo.com>>
> 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]
>
>  
>


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