Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: bug with for and time
- X-seq: zsh-workers 20463
- From: Dan Nelson <dnelson@xxxxxxxxxxxxxxx>
- To: Peter Stephenson <pws@xxxxxxx>
- Subject: Re: bug with for and time
- Date: Wed, 6 Oct 2004 12:53:30 -0500
- Cc: zsh-workers@xxxxxxxxxx
- In-reply-to: <200410061706.i96H6LTO010315@xxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <41616CDC.8020701@xxxxxxxxxxxxxxxx> <200410041610.i94GAl92005952@xxxxxxxxxxxxxx> <20041005113848.6f3715bd@xxxxxxxxxxxxxxxxxxxxx> <20041005181820.GC30419@xxxxxxxxxxxxxxxx> <20041006134818.089f5218@xxxxxxxxxxxxxxxxxxxxx> <200410061706.i96H6LTO010315@xxxxxxxxxxxxxx>
In the last episode (Oct 06), Peter Stephenson said:
> This has never been great. There appear to be two problems.
Actually it _was_ great back in zsh 2.5, which did use getrusage(). It
was dropped in zsh 3.0 for some reason. My TIMEFMT is still set to
"U:%U S:%S E:%E CPU:%P Faults:%F Swaps:%W" as a reminder to put it back
in (not a very effective reminder I guess).
> The following tries to address both problems. It's basically working,
> but there could easily be glitches.
Bonus points for anyone who adds back the extra TIMEFMT options too.
--
Dan Nelson
dnelson@xxxxxxxxxxxxxxx
Messages sorted by:
Reverse Date,
Date,
Thread,
Author