Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: What is the purpose of storing command duration in history?
- X-seq: zsh-users 30215
- From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: Re: What is the purpose of storing command duration in history?
- Date: Wed, 19 Mar 2025 09:27:24 +0000 (GMT)
- Archived-at: <https://zsh.org/users/30215>
- Importance: Normal
- In-reply-to: <87frjaf4bm.fsf@grothesque.org>
- List-id: <zsh-users.zsh.org>
- References: <87frjaf4bm.fsf@grothesque.org>
> 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