codesearch seems very cool, but I noticed that http://codesearch.google.com/#search/&q=package:webkit seems to be picking up WebKit from the android repo at git://android.git.kernel.org/platform/external/webkit.git. Does that cause problems with the code being stale (more stale than just using a "cached copy")? Is there a way to get it to look at git://git.webkit.org/WebKit.git?

--tom



On 09/08/2011 03:34 PM, Dimitri Glazkov wrote:
I<3 codesearch. It's fast, and it's accurate.

:DG<

On Thu, Sep 8, 2011 at 2:52 PM, Eric Seidel<[email protected]>  wrote:
I'm curious how other developers search the WebKit code?

I use http://codesearch.google.com/#search/&q=package:webkit from time
to time.  If others do too, we should make it a redirect from
cs.webkit.org (like we do for cia.webkit.org).

Or maybe folks have better code search solutions?  grep -r?

-eric
_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

Reply via email to