7 ms·
GitHub 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
by colin353 5y ago
GitHub 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
- 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
- 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/`).