Re: time command does not accept parameters?

On Sat, 29 Dec 2007 23:54:53 +0000, Rui Maciel <rui.maciel@xxxxxxxxx>
wrote:

I was testing a small pet application and in order to measure the time it
takes to perform a certain task I started using the time command. After
browsing the man pages, I learnt that the command supported a bunch of
options, including formatting the output in order to extract more useful
information, like average total memory use.

Well, that is what the man page states. What the time command supports is a
whole different thing. While attempting to tweak the output format, I've
learnt that the time command in fact didn't accepted a single parameter. It
didn't even accepted the -v command.

So what's going wrong? Is the man page a bit out of line? Is my time command
broken? What am I missing over here?

Hi,

You got my curiosity up, so I had a look. My FC6 VM "man time" says
that it only takes the -p option. However, it also mentions gnu time
which takes a whole flock of options.

As a guess, "time" gets the bash version. /usr/bin/time gets the gnu
version w/all the options.

Just pulling this out of my backside,

Bill
--
William D Waddington
william.waddington@xxxxxxxxxx
"Even bugs...are unexpected signposts on
the long road of creativity..." - Ken Burtch
.