[CentOS] time command
Stephen Harris
lists at spuddy.org
Wed Apr 11 16:26:57 UTC 2007
On Wed, Apr 11, 2007 at 12:09:03PM -0400, Bisbal, Prentice wrote:
> Stephen Harris wrote:
> > time ( command ; command )
>
> I was going to suggest that myself, but when I tested in in bash, it
> didn't work for me. Does it work for you?
Hmm, interesting.
$ time ( echo hello )
It works in bash-2.03 on Solaris 8, but not in bash-2.05 in FC1, FC2,
RHEL2.1 or Solaris 9 and not in bash-3.00 in RHEL4u4 or Solaris 10.
Works correctly in ksh88 and ksh93 on all platforms.
Sounds like a bash bug to me!
--
rgds
Stephen
More information about the CentOS
mailing list