为什么 github 的 repo内搜索有时候明明存在一个字符串,我们却搜索不到
github 的 repo内搜索引擎是有缺陷的,两种解决方法
1. clone 下来后用 find 和 grep 去搜索
2. 使用 github.com/search,参考这几个网页
https://github.blog/2008-11-03-github-code-search/
https://github.com/search
https://github.com/search?q=repo%3Aumd-memsys%2Fgem5+dramsim3&type=code
https://github.com/features/code-search
https://stackoverflow.com/questions/26433561/how-to-search-on-github-to-get-exact-string-matches-including-special-character (这个尤其重要,有提到 github 默认搜索设置会出错的原因)
https://sourcegraph.com/search?q=context:global+repo:%5Egithub%5C.com/gem5/gem5%24+dramsim3&patternType=standard&sm=1&groupBy=repo (还有就是使用 sourcegraph)
或者 clone 下来使用 git-grep