forked from google/codesearch
-
Notifications
You must be signed in to change notification settings - Fork 12
Open
Description
From @suntong on January 18, 2017 19:18
Expanding on the idea from #9, I think the best solution is to separate different code repo into different indexes, because after all, developers working on a single project is rather rare -- I personally need to do code search on many different code repos.
I propose just adding a -name to both index and search program, to separate different indexes.
Further, it's not only apply to different code repo, but even within the same repo, you can use -name to divide them into logical groups whatever you like, if you find eliminating a section is constantly needed.
Copied from original issue: junkblocker/codesearch-pre-github#12
Metadata
Metadata
Assignees
Labels
No labels