$ type time
time is a shell keyword
$ time ls
dummy1 dummy2
real 0m0.040s
user 0m0.020s
sys 0m0.040s
$ time ls > zzz
real 0m0.040s
user 0m0.020s
sys 0m0.040s
// So, 'time' doesn't write to stdin (?!)
$ time ls 2> zzz2
dummy1 dummy2 zzz
real 0m0.040s
user 0m0.020s
sys 0m0.030s
// So, 'time' doesn't write to stderr (?!)
Question-1. Where does the 'time' (shell keyword) write?
Question-2. How to redirect output of the 'time' (shell keyword)?
--
=====================================
Alex Vinokur
mailto:[EMAIL PROTECTED]
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================
--
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/
