Re: 'time' redirection, and pipe redirections in general

2009-07-25 Thread Dave B
On Saturday 25 July 2009, Linda Walsh wrote: > AFAIK, I'm still screwed if I want to create more than one > pipe for outputs -- either sending stderr to one pipe and stdout to > another, OR a way of even doing what "tee" does, but built into the > shell, so I could, using the building "tee", a f

'time' redirection, and pipe redirections in general

2009-07-24 Thread Linda Walsh
Dave B wrote: On Friday 17 July 2009, Linda Walsh wrote: (majorly abbreviated) where output 'time' cmd "go"? I.e. Howto pipe_ 'time' output to _prog_ [?] or file? Please see http://mywiki.wooledge.org/BashFAQ/032 An excellent and thorough webpage, but it doesn't exactly answer my ques