What is the purpose of storing command duration in history?

Christoph Groth <[email protected]>
Newsgroups gmane.comp.shells.zsh.user
Message-ID <[email protected]> 
Hi,

Zsh’s extended history format allows to store the duration of commands
in history.  Just curious: how is this useful?  It seems to be useful,
because there exist specific options like INC_APPEND_HISTORY_TIME.

I know that it is possible to review durations with ‘history -D’, but
this does not seem very useful.

Thanks
Christoph
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.