Re: What is the purpose of storing command duration in history?
Peter Stephenson <[email protected]>
| Newsgroups | gmane.comp.shells.zsh.user |
|---|---|
| Message-ID | <[email protected]> |
> On 18/03/2025 20:53 GMT Christoph Groth <[email protected]> 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