/usr/bin/time

[Ed Wilts]

On Tue, Mar 07, 2006 at 10:08:38PM -0500, Mark Wade wrote:
> What is different invoking time as /usr/bin/time or time and is that 
> true of other commands also?

time is a built-in for bash.  bash has other built-ins as well, for
example, echo, cd, and a bunch of others.

info bash
and go to section 4.2 for the Builtins.

        .../Ed


-- 
Ed Wilts, RHCE
Mounds View, MN, USA
mailto:ewilts at ewilts.org
Member #1, Red Hat Community Ambassador Program