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/
|\ _,,,---,,_ [EMAIL PROTECTED]
ZZZzz /,`.-'`' -. ;-;;,_ [EMAIL PROTECTED]
|,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/
