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...
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.