Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: history not saving elapsed times
- X-seq: zsh-users 8270
- From: Nikolai Weibull <mailing-lists.zsh-users@xxxxxxxxxxxxxxxxxxxxxx>
- To: zsh-users@xxxxxxxxxx
- Subject: Re: history not saving elapsed times
- Date: Sun, 5 Dec 2004 21:55:28 +0100
- In-reply-to: <20041205194951.GA5469@xxxxxxxxx>
- Mail-followup-to: zsh-users@xxxxxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <20041204223007.GA9393@xxxxxxxxxxxxxxxxxx> <20041205194951.GA5469@xxxxxxxxx>
* Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx> [Dec 05, 2004 21:00]:
> > 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.
Aha!
That's too bad...but I really like incremental-append history. Thanks,
nikolai
--
::: name: Nikolai Weibull :: aliases: pcp / lone-star / aka :::
::: born: Chicago, IL USA :: loc atm: Gothenburg, Sweden :::
::: page: www.pcppopper.org :: fun atm: gf,lps,ruby,lisp,war3 :::
main(){printf(&linux["\021%six\012\0"],(linux)["have"]+"fun"-97);}
Messages sorted by:
Reverse Date,
Date,
Thread,
Author