Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: What is the purpose of storing command duration in history?



> On 18/03/2025 20:53 GMT Christoph Groth <christoph@xxxxxxxxxxxxxx> wrote:
> 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.

Nothing very secret here, I don't think.  It's useful to look and
see if you're running a command that takes a long time --- for
example, building firmware --- how long it took last time you ran it,
so you can go and have a coffee.  Other beverages are available.

As you are probably aware, the extended history format is itself
optional.

pws




Messages sorted by: Reverse Date, Date, Thread, Author