Valeu... na verdade eu não tinha o time externo. Agora funcionou ;-)
--- Em [email protected], "Tiago Barcellos Peczenyj" <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> 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] >
