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-oss: Agentic RL Environments (MiMo RL release). 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…
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: 1. Keeping a small subset. Say I just want to focus on…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.