From: Lars Wirzenius (wirzeniu@klaava.Helsinki.FI)
Date: 10/03/92 

From: wirzeniu@klaava.Helsinki.FI (Lars Wirzenius)
Subject: Re: why "time a.out" does not work?
Date: 3 Oct 1992 07:51:58 GMT

gthaker@fergie.dnet.ge.com (Gautam H. Thaker) writes:
>I am running LInux 0.96c. Why does the bash shell not understand
>the "time a.out" command (where a.out is some valid command)?

time is not a builtin command in Bash (at least the version which I
have). (There is a builtin times, but that does something else.) You
need an external time command (i.e. /usr/bin/time or something). I do
not know if one has been ported to or written for Linux.