/usr/bin/time

[Mark Wade]

I just figured out it's a reserved word

 >> info bash
 >>and go to section 4.2 for the Builtins.

thanks,

-- Mark


Ed Wilts wrote:

>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
>
>
>  
>