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
