> From: Chet Ramey <[email protected]> > > 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
