Re: Time error

[Michael Marsh <michael.a.marsh@gmail.com>]

On Sun, 16 Jan 2005 20:08:38 +0200, Alexandros Papadopoulos
<apapadop@alumni.cmu.edu> wrote:
> "time" is used to time the execution of a command. Example:
> 
> $ time ls -lR
> [...]
> real    0m2.951s
> user    0m0.090s
> sys     0m0.070s
> $
> 
> This means it took almost 3 seconds to recursively list all contents of
> my current working directory.
> 
> You're probably looking for the date(1) command.

Regardless, "time" on its own should yield something like:

$ time
real    0m0.000s
user    0m0.000s
sys     0m0.000s

Robert, what does "type time" output?  It *should* be "time is a shell keyword".

-- 
Michael A. Marsh
http://www.umiacs.umd.edu/~mmarsh