Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Add option -v to expunge.ml #4830
Original bug ID: 4830
It would be nice (and useful feature) if expunge had a "-v" option to let the user enter modules to filter instead of modules to keep.
Please find attached a patch that adds this feature.
Comment author: @alainfrisch
Acknowledged means that no decision has been taken yet. Please understand that our resources are limited and that we focus on (what we consider) higher priorities.
One way to get a better treatment for feature requests is to motivate them. "It would be nice" is not a strong incentive to spend a few minutes on improving an undocumented tool.
I've integrated your patch (rev 12061).