Feature request: narrow down interactive results without enumerating everything to delete
Feature request: narrow down interactive results without enumerating everything to delete: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). When I run vgrep over a big tree I often get hundreds of matches, and the interactive shell is great for whittling them down —…
The task
When I run vgrep over a big tree I often get hundreds of matches, and the interactive shell is great for whittling them down — but `delete` is the only filtering tool, and it's awkward in the two cases I keep running into:
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.