|
| From: | Sérgio Durigan Júnior |
| Subject: | Re: [shell-script] redirecionamneto da saida time |
| Date: | Mon, 4 Dec 2006 17:16:01 -0200 |
On 12/4/06, Tiago Barcellos Peczenyj <address@hidden> wrote:
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
Legal! Não sabia que existiam dois times ;-)... Era esse mesmo que eu estava procurando quando dei a resposta hehehe ;-)
| [Prev in Thread] | Current Thread | [Next in Thread] |