[webkit-dev] Code Search for webkit.org

Mihai Parparita mihaip at chromium.org
Mon Oct 3 23:12:34 PDT 2011


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 <tomz at codeaurora.org> 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<eric at webkit.org>  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
>>> webkit-dev at lists.webkit.org
>>> http://lists.webkit.org/**mailman/listinfo.cgi/webkit-**dev<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev>
>>>
>>>  ______________________________**_________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> http://lists.webkit.org/**mailman/listinfo.cgi/webkit-**dev<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev>
>>
> ______________________________**_________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/**mailman/listinfo.cgi/webkit-**dev<http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20111003/da9d2c65/attachment.html>


More information about the webkit-dev mailing list