Como medir o tempo com o comando time / times [duplicate]

Question

Eu tenho um script com while . Por enquanto eu gostaria de medir o tempo que o conteúdo dele leva para rodar, em milissegundos, algo assim:

while condition;
do
    #begin measure time at begining
    instructions
    #end measure time at end
    echo "$end-$begin"
done

Eu não posso usar date +%s.%N porque minha máquina não tem, então eu preciso usar time ou times comand. Alguma ideia de como?

obrigado

    

Answer 1

Se você quiser usar o comando time, pode executar a parte instructions em um subshell:

! # / bin / bash

while condition;
do
    time $(
    instruction1
    instruction2
    )
done

Você só precisa analisar a saída de time depois. Exemplo de trabalho:

mtak@rubiks:~$ time $(
> sleep 2
> sleep 3
> )

real    0m5,004s
user    0m0,000s
sys 0m0,000s
mtak@rubiks:~$