This is the mail archive of the
cygwin@cygwin.com
mailing list for the Cygwin project.
RE: Timing problem
- To: "'cygwin at cygwin dot com'" <cygwin at cygwin dot com>
- Subject: RE: Timing problem
- From: "Morrison, John" <John dot Morrison at uk dot experian dot com>
- Date: Fri, 6 Jul 2001 09:29:12 +0100
Nope, time is 'built-in' to the bash shell. Try typing
bash -c help
to get a list of built-in functions and
help time
to get something a little more specific.
Thanks for replying though...
> -----Original Message-----
> From: Robert Collins [mailto:robert.collins@itdomain.com.au]
> Sent: Friday, 06 July 2001 09:17
> To: Morrison, John; cygwin@cygwin.com
> Subject: RE: Timing problem
>
>
> > -----Original Message-----
> > From: Morrison, John [mailto:John.Morrison@uk.experian.com]
> > Sent: Friday, July 06, 2001 6:17 PM
> > To: 'cygwin@cygwin.com'
> > Subject: Timing problem
> >
> >
> > Hi,
> >
> > First I'm going to apologies - I'm a user of cygwin, not a
> > hacker and I also
> > come from a windoze not a *nix background. I'm having a problem
> > manipulating the output from time, I'd like to get just the
> > 'real' time and
> > thought I could do something like:
> >
> > $ time somecommand | egrep -e '^real'
>
> I have a full cygwin install...
> ==
> $ type -p time
>
> ==
> time isn't a cygwin command. "date" is, and will give you the current
> time, with a load of options for GMT etc.
>
> > but all combinations of std:out redirections fail to send the time
> > information into the grep instruction, they always get
> > written to console.
>
> Thank MS for this - I believe you are running an MS time program.
>
> Rob
>
> > Please, is there anyway to do this?
> >
> > Thanks,
> >
> > J.
> >
> >
=======================================================================
Information in this email and any attachments are confidential, and may
not be copied or used by anyone other than the addressee, nor disclosed
to any third party without our permission. There is no intention to
create any legally binding contract or other commitment through the use
of this email.
Experian Limited (registration number 653331).
Registered office: Talbot House, Talbot Street, Nottingham NG1 5HF
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/