[webkit-dev] Code Search for webkit.org

[Tom Zakrajsek]

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<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 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
>>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev