Doug Barton <[email protected]> wrote: > FYI, it's never necessary to do 'cat $file | grep' you can always do > 'grep $file' instead. > > The bit on finding the directory for a port (the ones that start with > pwd= in the diff) can also be done a bit more efficiently with this at > the beginning: > > grep -m1 "/$e|" INDEX
Yeah I agree, will incorporate your suggestions into the code. However -m1 option is not useful here as: $ grep -m1 "/$tin|" INDEX lists only zh-tin (first match), where first and foremost we are looking for tin. --Andy _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "[email protected]"
