Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
X-Authentication-Warning: slinky.cs.nyu.edu: pechtcha owned process doing -bs
Date: Tue, 14 Oct 2003 09:45:29 -0400 (EDT)
From: Igor Pechtchanski <pechtcha AT cs DOT nyu DOT edu>
Reply-To: cygwin AT cygwin DOT com
To: Alex Vinokur <alexvn AT connect DOT to>
cc: cygwin AT cygwin DOT com
Subject: Re: Some questions about the time and times utilities
In-Reply-To: <bmgrm7$8k3$1@sea.gmane.org>
Message-ID: <Pine.GSO.4.56.0310140938260.20462@slinky.cs.nyu.edu>
References: <bmgrm7$8k3$1 AT sea DOT gmane DOT org>
Importance: Normal
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

On Tue, 14 Oct 2003, Alex Vinokur wrote:

> $ man times
> No manual entry for times
>
> $ info times > dummy
> info: No menu item `times' in node `(dir)Top'.
>
> $ times --help
> bash: times: --: invalid option
> times: usage: times

$ type -a times
times is a shell builtin
$ type -a time
time is a shell keyword
time is /usr/bin/time
time is /bin/time
time is /mnt/c/cygwin/bin/time
$ help time
time: time [-p] PIPELINE
    Execute PIPELINE and print a summary of the real time, user CPU time,
    and system CPU time spent executing PIPELINE when it terminates.
    The return status is the return status of PIPELINE.  The `-p' option
    prints the timing summary in a slightly different format.  This uses
    the value of the TIMEFORMAT variable as the output format.
times: times
    Print the accumulated user and system times for processes run from
    the shell.

> Question-1 (time) We can see that user-used-time < sys-used-time?
>    Doesn't sys-used-time include user-used-time?
>    What is user-used-time?

"info time"

> Question-2 (time) Why does 'time' reject  the '-v' options.
>   'info time' contains the followin axample :
>    eg$ time -v sleep 4
>          Command being timed: "sleep 4"
>          User time (seconds): 0.00
>          System time (seconds): 0.05
>          [snip]

"/bin/time -v sleep 4" or "command time -v sleep 4"

> Questin-3 (times) What does the times utility do?

See above.

> Appendix.
>
> $ which time
> /usr/bin/time

"type -a time"

> $ cygcheck -svr | grep time
> mingw-runtime        3.1-1
> // Where is the time/times utility

"cygcheck -f /bin/time.exe"
	Igor
-- 
				http://cs.nyu.edu/~pechtcha/
      |\      _,,,---,,_		pechtcha AT cs DOT nyu DOT edu
ZZZzz /,`.-'`'    -.  ;-;;,_		igor AT watson DOT ibm DOT com
     |,4-  ) )-,_. ,\ (  `'-'		Igor Pechtchanski, Ph.D.
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

"I have since come to realize that being between your mentor and his route
to the bathroom is a major career booster."  -- Patrick Naughton

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/