Como redirecionar o tempo que uma tarefa leva para ser concluída em um arquivo de log, já que essa tarefa já está sendo redirecionada?

Question

Eu tenho um script de shell executando uma tarefa python cujo stdout está sendo redirecionado para um arquivo de log:

python script.py >> log.txt

Desejo também registrar o tempo que essa tarefa leva para concluir, no mesmo arquivo de log. Algo como:

time (python script.py >> log.txt) >> log.txt

O que, obviamente, não funciona.

Qual é a maneira correta de fazer isso?

    

Answer 1

De acordo com man time , você deve poder usar -o FILE na saída para um arquivo e -a para anexar ao arquivo. Então seu comando deve ser:

/usr/bin/time -a -o log.txt python script.py >> log.txt

Usando o sinalizador -f , você pode definir o formato de saída desejado dos horários.