4 ms·
Got into the preview, can finally search for actual code! One thing I'd like to see, though, is the ability to mark directories to be ignored in the search resu
by jshier 5y ago
Got into the preview, can finally search for actual code! One thing I'd like to see, though, is the ability to mark directories to be ignored in the search results. No one needs to search the raw HTML of my generated documentation, yet it shows up in every search for project symbols. And since HTML is considered "source", I can't filter it out unless I select a particular language.
Also the search text field is bit messed up in Safari when the text gets longer than the field.
- colin353 5y agoGitHub Code Search developer here - try creating a custom scope to filter out that stuff! Click on the scopes dropdown and scroll to the bottom. You can filter out HTML by using a query like: NOT language:html
- jshier 5y agoAh, I was trying language:!html. Would still be great to ignore my docs directory.
- p0 5y agoYou could do this with `-path:docs/` (or `NOT path:docs/`).
- esprehn 5y agoIt would be great if this used the same filter format as sourcegraph and other internal code search tools. ex. -file:.html is enough to filter away files ending in html in the main search box. Having to use dropdowns and multiple input fields is more cumbersome than the filter language of repo:, file:, lang: etc.
- dstaheli 5y agoHere are the details of that syntax: https://cs.github.com/about/syntax https://cs.github.com/about/syntax