On Thu, Jan 02, 2003 at 08:21:17PM +0000, Karsten M. Self wrote: > on Thu, Jan 02, 2003 at 02:46:19AM -0800, Eric G. Miller ([EMAIL PROTECTED]) wrote: > > On Thu, Jan 02, 2003 at 04:31:39AM -0600, Gerald Livingston wrote: > > <...> > > > > 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. > > In bash and other modern shells, 'time' is a builtin. The 'time' > package provides 'time' for shells which don't include a time builtin > function. Or "reseved word" according to the bash manpage.
Or for use when you need more information than the bash builtin gives Frank > > Peace. > > -- > Karsten M. Self <[EMAIL PROTECTED]> http://kmself.home.netcom.com/ > What Part of "Gestalt" don't you understand? > Geek for hire: http://kmself.home.netcom.com/resume.html > > > -- > To UNSUBSCRIBE, email to [EMAIL PROTECTED] > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
