Re: Timing a program run?
On Thu, Jan 02, 2003 at 04:31:39AM -0600, Gerald Livingston wrote:
> On Thu, 2 Jan 2003 02:07:03 -0800
> Paul Johnson <email@example.com> wrote:
> > On Thu, Jan 02, 2003 at 03:57:10AM -0600, Gerald Livingston wrote:
> > > How the heck do I time how long it takes a certain script to run?
> > This isn't shell specific. And you're probably going to have to get a
> > surgeon to remove your hand from your forhead from hitting it so
> > hard. 8:o)
> > time <command>
> Where the heck is that documented, and where is the "time" command *AT*?
> I typed 'time' at the prompt and got a "syntax error near unexpected
> token `newline'"
> I did a "locate n/time" looking for "time" in a "*bin/" directory --
> not there.
> I searched "man bash-builtins" -- not there.
> AHHH -- there it is, in "man bash" buried in "SHELL GRAMMAR -->
> Pipelines", where it doesn't stand out at all.
No. You probably want the time program in package "time". It'll live at
"...the plural of anecdote is [not?] data." - attrib. to George Stigler