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

manpage mentions old TIMEFMT

X-seq: zsh-workers 30398
From: Christian Neukirchen <chneukirchen@xxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: manpage mentions old TIMEFMT
Date: Fri, 13 Apr 2012 22:47:32 +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
Sender: chris@juno

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.

cheers,
-- 
Christian Neukirchen  <chneukirchen@xxxxxxxxx>  http://chneukirchen.org

Follow-Ups:
- Re: manpage mentions old TIMEFMT
  - From: Christian Neukirchen

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