REPORTTIME for Bash

Zsh has an ingenious feature that automatically prints timing statistics for commands taking longer than $REPORTTIME to execute. Think of it as automatically executing a pipeline through time as needed.

From the Zsh Manual:

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.

Does there exist a similar feature, or set of scripts that enables similar behaviour, for Bash?

1 Answer

I have an implementation of it, here:

Clone the Git repo, and simply source the reporttime.bash script. Also allows you to put the timing components into your Bash prompt directly, instead of having it reported on a separate line.