Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: history not saving elapsed times
- X-seq: zsh-users 8269
- From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
- To: zsh-users@xxxxxxxxxx
- Subject: Re: history not saving elapsed times
- Date: Sun, 5 Dec 2004 11:49:51 -0800
- In-reply-to: <20041204223007.GA9393@xxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <20041204223007.GA9393@xxxxxxxxxxxxxxxxxx>
On Sat, Dec 04, 2004 at 11:30:07PM +0100, Nikolai Weibull wrote:
> Zsh isn't storing elapsed times in my history, all entries are like
> : <timestamp>:0;<cmd>
This happens if you use one of the incremental-append history options:
since zsh writes out the history line before running it, it doesn't know
what the elapsed time for the command will be, so it always writes it
out with an elapsed time of 0.
..wayne..
Messages sorted by:
Reverse Date,
Date,
Thread,
Author