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

BUG: zsh-3.1.5-pws-24: time is dead

X-seq: zsh-workers 6935
From: mason@xxxxxxxxxxxxxxx (Geoff Wing)
To: zsh-workers@xxxxxxxxxxxxxx
Subject: BUG: zsh-3.1.5-pws-24: time is dead
Date: 30 Jun 1999 18:09:00 GMT
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Organization: PrimeNet Computer Consultants
Reply-to: mason@xxxxxxxxxxxxxxx

Heyla,
% zsh -f
% time =echo foobar
foobar
% =time =echo foobar
foobar
        0.01 real         0.00 user         0.01 sys
% which -a time
time: shell reserved word
/usr/bin/time
%
-- 
Geoff Wing : <gcw@xxxxxxxxx>     Work URL: http://www.primenet.com.au/
Rxvt Stuff : <gcw@xxxxxxxx>      Ego URL : http://pobox.com/~gcw/
Zsh Stuff  : <gcw@xxxxxxx>       Phone   : (Australia) 0413 431 874

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