A solução que passei com os () redireciona o interno do bash mesmo. vc pode verificar abaixo a diferença dos 2
[EMAIL PROTECTED]:~$ type -a time time is a shell keyword time is /usr/bin/time [EMAIL PROTECTED]:~$ (time echo xxx) 2>log xxx [EMAIL PROTECTED]:~$ (/usr/bin/time echo xxx) 2>>log xxx [EMAIL PROTECTED]:~$ 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 [EMAIL PROTECTED]:~$ A saida do time do bash acho mais legivel Flavio do Carmo Junior On 12/4/06, Tiago Barcellos Peczenyj <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED] <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]
