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 <baloo@ursine.dyndns.org> 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
/usr/bin/time.
--
"...the plural of anecdote is [not?] data." - attrib. to George Stigler
Reply to: