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 PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
