REPORTTIME para Bash

6
O

Zsh possui um recurso engenhoso que imprime automaticamente estatísticas de tempo para comandos que levam mais tempo do que $REPORTTIME para executar. Pense nisso como executar automaticamente um pipeline por meio de time conforme necessário.

Do manual do Zsh:

REPORTTIME
    If nonzero, commands whose combined user and system execution times
    (measured in seconds) are greater than this value have timing statistics
    printed for them.

Existe um recurso semelhante ou um conjunto de scripts que permite um comportamento semelhante para o Bash?

    
por earl 14.08.2010 / 12:12

1 resposta

5

Eu tenho uma implementação, aqui: link

Clone o repositório Git e simplesmente forneça o script reporttime.bash. Também permite que você coloque os componentes de tempo em seu prompt do Bash diretamente, em vez de tê-lo informado em uma linha separada.

    
por 14.01.2012 / 22:40

Tags