$ bash -c 'time ls > ../ls.out' 2> ../time.out HTH
rlc On Thu, Oct 16, 2003 at 02:01:20PM +0200, Alex Vinokur wrote: > $ 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/ -- You like to form new friendships and make new acquaintances. -- 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/