> From: Chet Ramey <chet.ra...@case.edu> > > Thanks for the report. There are several places where `time' should be > recognized as a reserved word where it currently is not. Please try the > attached patch and verify that it does what you want.
Yes, the patched version of bash 4.3 works like I believe it should. Thanks! Dale
