I usually search the copy of WebKit that's in the Chromium sub-index of code search. It's at most one day behind ToT WebKit (plus Code Search crawl/indexing delays):
http://www.google.com/codesearch#search/&exact_package=chromium&q=file%3A%5Esrc/third_party/WebKit Mihai Mihai On Fri, Sep 30, 2011 at 8:33 AM, Tom Zakrajsek <[email protected]> wrote: > codesearch seems very cool, but I noticed that > http://codesearch.google.com/#**search/&q=package:webkit<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<http://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 <http://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<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<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev> >>> >>> ______________________________**_________________ >> webkit-dev mailing list >> [email protected] >> http://lists.webkit.org/**mailman/listinfo.cgi/webkit-**dev<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev> >> > ______________________________**_________________ > webkit-dev mailing list > [email protected] > http://lists.webkit.org/**mailman/listinfo.cgi/webkit-**dev<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev> >
_______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
