Search code inside a Github project

Question

Is there a way to grep for something inside a Github project s code   I could pull the source and grep it locally  but I was wondering if it s possible through the web interface or a 3rd-party alternative   Ideas

User · Answer

UPDATE The bookmarklet hack below is broken due to XHR issues and API changes  Thankfully Github now has  quot A Whole New Code Search quot  which does the job superbly    Checkout this voodoo  Github code search userscript  Follow the directions there  or if you hate bloating your browser with scripts and extensions  use my bookmarkified bundle of the userscript  javascript  function   var s  https   raw githubusercontent com skratchdot github-enhancement-suite master build github-enhancement-suite user js  t  text javascript  d document n navigator e  e d createElement  script    src s e type t d getElementsByTagName  head   0  appendChild e      doIt     void       Save the source above as the URL of a new bookmark  Browse to any Github repo  click the bookmark  and bam  in-page  ajaxified code search  CAVEAT Github must index a repo before you can search it   Abracadabra     Here s a sample search from the annotated ECMAScript 5 1 specification repository

User · Answer

To seach within a repository  add the URL parametes  search q search terms at the root of the repo  for example  https   github com bmewburn vscode-intelephense search q phpstorm  In the above example  it returns 2 results in Code and 160 results in Issues

User · Answer

Go here  https   github com search and enter  quot pattern repo user name repo name quot   For example  to search for cnn learner in the fastai repo of user fastai  enter this  cnn learner repo fastai fastai That s it  The only annoyance is you ll need an extra click  It will tell you   We couldn   t find any repositories matching  cnn learner repo fastai fastai   because by default it searches for repositories matching that search string    So just click on the left on  quot Code quot  and it will display what you want  Or get the code search results directly with a URL like this  https   github com search q cnn learner repo 3Afastai 2Ffastai amp type code

User · Answer

I search the source code inside of Github Repositories with the free Sourcegraph Chrome Extension     But I Downloaded Chrome First  I knew other browsers support it though  such as - and maybe just only - Firefox   I skimmed through SourceForge s Chrome Extension Docs and then also I looked at just what I needed for searching for directory names with Github s Search Engine itself  by reading some of Github s Codebase Searching Doc

User · Answer

While  VonC s answer works for some repositories  unfortunately for many repositories you can t right now  Github is simply not indexing them  as commented originally by  emddudley   They haven t stated this anywhere on their website  but they will tell you if you ask support      From  Tim Pease   We have stopped adding newly pushed code into our codesearch index  The volume of code has outgrown our current search index  and we are working on moving to a more scalable search architecture  I m sorry for the annoyance  We do not have an estimate for when this new search index will be up and running  but when it is ready a blog post will be published  https   github com blog     Annoyingly there is no way to tell which repositories are not indexed other than the lack of results  which also could be from a bad query    There also is no way to track this issue other than waiting for them to blog it  or watching here on SO       From  Tim Pease   I am afraid our issue tracker is internal  but we can notify you as soon as the new search index is up and running

User · Answer

Google allows you to search in the project  but not the code     site https   github com CreateJS EaselJS test

User · Answer

Recent private repositories have a search field for searching through that repo      Bafflingly  it looks like this functionality is not available to public repositories  though

User · Answer

Update January 2013  a brand new search has arrived   based on elasticsearch org   A search for stat within the ruby repo will be expressed as stat repo ruby ruby  and will now just workTM   the repo name is not case sensitive  test repo wordpress wordpress returns the same as test repo Wordpress Wordpress     Will give     And you have many other examples of search  based on followers  or on forks  or       Update July 2012  old days of Lucene search and poor code indexing  combined with broken GUI  kept here for archive      The search  based on SolrQuerySyntax  is now more permissive and the dreaded  Invalid search query  Try quoting it   is gone when using the default search selector  Everything      I suppose we can all than Tim Pease  which had in one of his objectives  hacking on improved search experiences for all GitHub properties   and I did mention this Stack Overflow question at the time       Here is an illustration of a grep within the ruby code  it will looks for repos and users  but also for what I wanted to search in the first place  the code       Initial answer and illustration of the former issue  Sept  2012    March 2012   You can use the advanced search GitHub form    Choose Code  Repositories or Users from the drop-down and  use the corresponding prefixes listed for that search type     For instance  Use the repo username repo-name directive to limit the search to a code repository  The initial  Advanced Search  page includes the section      Code Search       The Code search will look through all of the code publicly hosted on GitHub  You can also filter by           the language language    the repository name  including the username   repo    the file path path       So if you select the  Code  search selector  then your query grepping for a text within a repo will work       What is incredibly unhelpful from GitHub is that    if you forget to put the right search selector  here  Code    you will get an error message   Invalid search query  Try quoting it          the error message doesn t help you at all  No amount of  quoting it  will get you out of this error  once you get that error message  you don t get the sections reminding you of the right association between the search selectors   Repositories    Users  or  Language   and the  right  search filters  here  repo     Any further attempt you do won t display those associations  selectors-filters  back  Only the error message you see above    The only way to get back those arrays is by clicking the  Advance Search  icon       the  Everything  search selector  which is the default  is actually the wrong one for all of the search filters  Except  language       You could imagine assume that  Everything  would help you to pick whatever search selector actually works with the search filter  repo    but nope  That would be too easy  you cannot specify the search selector you want through the  Advance Search  field alone   but you can for  language    even though  Search Language  is another combo box just below the  Search for   type  one           So  the user s experience usually is as follows    you click  Advanced Search   glance over those sections of filters  and notice one you want to use   repo   you make a first advanced search  repo jruby jruby stat   but with the default Search selector  Everything     FAIL   and the arrays displaying the association  Selectors-Filters  is gone  you notice that  Search for  selector thingy  select the first choice  Repositories    Dah  I want to search within repositories         FAIL  dejected  you select the next choice of selectors  here   Users    without even looking at said selector  just to give it one more try       FAIL   Screw this  GitHub search is broken  I m outta here        GitHub advanced search is actually not broken  Only their GUI is         So  to recap  if you want to  grep for something inside a Github project s code   as the OP Ben Humphreys  don t forget to select the  Code  search selector

[git] Search code inside a Github project

Examples related to git

Examples related to search

Examples related to github