Suggestion: minimum time

[Christian Michelsen]

Hi and thanks for a great extension!

Would it be possible to allow for a setting a minimum_timer? Such that it only times (or, well, only shows) commands which took longer than e.g. 5 minutes?
I do not need timings for all of my file system traversing and so on but whenever a command takes longer than (e.g.) 5 minutes I am interested in it.

Thanks a lot!

Cheers,
Christian

[Chuan Ji]

That's a really neat idea!