shell-script-pt
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Comando time: redirecionamento para um arquivo de saida


From: aaa_leonardo
Subject: Comando time: redirecionamento para um arquivo de saida
Date: Fri, 12 May 2006 00:44:35 -0000
User-agent: eGroups-EW/0.82

Olá, pessoal.

Faço parte da lista desde outubro de 2005, e estive lendo durante esse
tempo todas as mensagens diárias (email de compilação) do grupo. É a
primeira vez que posto alguma dúvida aqui. Espero contribuir com essa
lista, embora agora esteja muito mais na condição de aprender do que
ajudar. Prefácio dito, vamos à questão.

Eu gostaria de usando um operador de redirecionamento, redirecionar a
saída do comando time para algum arquivo de saída. Exemplo:

$time wc /etc/fstab > arquivodesaida
não funciona porque o que é redirecionado é a saída do comando "wc
/etc/fstab" e não de "time wc /etc/fstab".

Consegui tal efeito com:
$/usr/bin/time -p -o arquivodesaida wc /etc/fstab

Gostaria de saber se existe algum outro jeito de fazer isso, pois
gostaria de redirecionar a saída do comando "time" através de
operadores de redirecionamento, ao ínves de usar uma "sintaxe" interna
do comando "time".
Tentei fazer isso utilizando proteção de variáveis, echo "", etc
(vários testes) mas não consegui. Também pesquisei no histórico do
grupo por "time" e não encontrei nada específico a essa questão. O
Google, sempre amigo, também não deu muito certo. Então, recorro à vocês.
Ah, e se alguém tiver alguma idéia da "confiabilidade" da medição de
time e os principais problemas enfrentados em relação a isso, também
ficaria grato.

Saudações,

Leonardo Andrade.






reply via email to

[Prev in Thread] Current Thread [Next in Thread]