bug in time?

[Christopher K. Johnson]

Luciano Miguel Ferreira Rocha wrote:

>On Sat, Feb 07, 2004 at 11:41:44PM +0200, m l wrote:
>Bash uses its own internal time command, so it gives an error when you don't
>pass the comand to be executed to time.
>
>You can get bash's time help with:
>1. man bash
>2. help time
>
>System's time is also available by specifying its full path:
>/usr/bin/time cmd
>
>Regards,
>Luciano Rocha
>
>
>  
>
Actually csh has an internal command for time.  Bash doesn't and 
consequently uses the time command found via the path.

$ csh
$ which time
time: shell built-in command.
$ exit
$ bash
$ which time
/usr/bin/time
$ exit

-- 
-----------------------------------------------------------
   "Spend less!  Do more!  Go Open Source..." -- Dirigo.net
   Chris Johnson, RHCE #807000448202021