On Mon, Mar 28, 2011 at 2:25 PM, Greg Wooledge wrote: > In any case, I see no benefit to changing how [[ works. A change would > just cause more confusion.
and probably break many existing scripts -mike
On Mon, Mar 28, 2011 at 2:25 PM, Greg Wooledge wrote: > In any case, I see no benefit to changing how [[ works. A change would > just cause more confusion.
and probably break many existing scripts -mike