This is the mail archive of the mailing list for the Cygwin project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Some questions about the time and times utilities

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"
      |\      _,,,---,,_
ZZZzz /,`.-'`'    -.  ;-;;,_
     |,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:
Problem reports:

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]