I'd like to be able to filter search results by file type. Have a list of file types which are available in the results (php, json, etc) and I can tick or untick and update the results list.
Description
Description
Event Timeline
Comment Actions
Does setting \.php or \.json in the file name filter not meet your needs? e.g. https://codesearch.wmflabs.org/search/?q=Delete&i=nope&files=%5C.json&repos=
Comment Actions
The file name filter works nicely thank you. Knowing of this makes this tool much more useful indeed. :-)
What I mean is ui for it similar to github search results where the file types are listed and are select-able.
https://github.com/wikimedia/mediawiki/search?utf8=%E2%9C%93&q=Hello+world&type=
This means the user
- does not need to have an a priori knowledge of file type names
- does not need to have an a priori knowledge of regex
- knows how many results for each file type are found
- can browse the results using a mouse
Now that it is known that the feature is already there, the task description may need to be updated then. Not "add filter by file type", but "add ui for file types, languages" or something similar.
Comment Actions
OK, you should file your request upstream then: https://github.com/etsy/hound. I'm going to close this task since the basic functionality is there, just not an ideal UI.