Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: manpage mentions old TIMEFMT
- X-seq: zsh-workers 30399
- From: Christian Neukirchen <chneukirchen@xxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: manpage mentions old TIMEFMT
- Date: Fri, 13 Apr 2012 23:15:40 +0200
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- References: <87ty0nz7dn.fsf@gmail.com>
- Sender: chris@juno
Christian Neukirchen <chneukirchen@xxxxxxxxx> writes:
> Hi,
>
> a minor documentation bug:
>
>        TIMEFMT
>               The format of process time reports with the time  keyword.   The
>               default is `%E real  %U user  %S system  %P %J'.  
>
> but actually:
>
> % zsh --version
> zsh 4.3.17 (x86_64-unknown-linux-gnu)
> % zsh -f 
> juno% echo $TIMEFMT
> %J  %U user %S system %P cpu %*E total
>
> This probably went unnoticed for a loong time. :)
>
>> Thu Jun 15 00:25:43 1995  Richard Coleman  <coleman@xxxxxxxxxxxxxxx>
>> ...
>>        * Changed the DEFAULT_TIMEFMT to
>>          "%J  %U user %S system %P cpu %*E total".
>>         From rc.
While I'm at it:
              %M     The  maximum memory the process had in use at any time in
                     Kbytes.
This seems to be in megabytes on my platform (zsh 4.3.17
(x86_64-unknown-linux-gnu), Linux 3.2.8).
Finally, %X and %D are rubbish on Linux (but GNU time(1) always shows
0 for them).
-- 
Christian Neukirchen  <chneukirchen@xxxxxxxxx>  http://chneukirchen.org
Messages sorted by:
Reverse Date,
Date,
Thread,
Author