bug in time?
Christopher K. Johnson
ckjohnson at gwi.net
Sat Feb 7 23:45:12 UTC 2004
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
More information about the users
mailing list