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

What is the purpose of storing command duration in history?

X-seq: zsh-users 30214
From: Christoph Groth <christoph@xxxxxxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: What is the purpose of storing command duration in history?
Date: Tue, 18 Mar 2025 21:53:49 +0100
Archived-at: <https://zsh.org/users/30214>
Cancel-lock: sha1:bkrFiykUBSkeKt9JAWqnaONq2sU=
List-id: <zsh-users.zsh.org>

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

Follow-Ups:
- Re: What is the purpose of storing command duration in history?
  - From: Peter Stephenson

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