Use a time
keyword em vez do comando externo. A utilização da palavra-chave permite que você execute time
em qualquer comando shell, incluindo chamadas de função, não apenas na execução de um programa. Você pode controlar o formato de saída até certo ponto através da TIMEFORMAT
variable .
TIMEFORMAT=%2U
time run_eclipse_on …
echo "$i::$stat"
A saída time
é impressa em sua própria linha. Bash permite um truque: você pode alterar TIMEFORMAT
durante o comando, para que você possa colocar mais coisas lá.
time { run_eclipse_on …; TIMEFORMAT="${i//%/%%}::${stat//%/%%}::%2U"; }
A saída de time
é impressa no erro padrão. Se você precisar disso na saída padrão, apenas redirecione com 2>&1
. Isso também redirecionará qualquer comando impresso no stderr. Para preservar o stderr, você pode fazer algumas arquivo descritor de embaralhar .
{ time { {
run_eclipse_on …;
TIMEFORMAT=$stat::%2U;
} 2>&3; } 2>&1; } 3>&2