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.
---------------------------------------------------------------------
Esta lista não admite a abordagem de outras liguagens de programação, como perl, C etc. Quem insistir em não seguir esta regra será moderado sem prévio aviso.
---------------------------------------------------------------------
Sair da lista: [EMAIL PROTECTED]
---------------------------------------------------------------------
Esta lista é moderada de acordo com o previsto em http://www.listas-discussao.cjb.net
---------------------------------------------------------------------
Servidor Newsgroup da lista: news.gmane.org
Grupo: gmane.org.user-groups.programming.shell.brazil
| Yahoo! Grupos, um serviço oferecido por: | |
|
Links do Yahoo! Grupos
- Para visitar o site do seu grupo na web, acesse:
http://br.groups.yahoo.com/group/shell-script/
- Para sair deste grupo, envie um e-mail para:
[EMAIL PROTECTED]
- O uso que você faz do Yahoo! Grupos está sujeito aos Termos do Serviço do Yahoo!.
