[PATCH 4 of 5 evolve-ext] strip: add the option for wrapping the strip command

[Jordi Gutiérrez Hermoso]

On Thu, 2015-03-19 at 18:14 -0700, Durham Goode wrote:
> # HG changeset patch
> # User Durham Goode <durham at fb.com>
> # Date 1426793511 25200
> #      Thu Mar 19 12:31:51 2015 -0700
> # Node ID e93100523ef10fae3fcee2bdeac0f676ed842ecd
> # Parent  0a4343392b3358584bd16e7b7f15e9c2264c9c8b
> strip: add the option for wrapping the strip command
> 
> Adds an experimental option for wrapping the existing strip command and
> replacing its functionality with prune. It currently doesn't handle the --keep
> case, but an upcoming patch will address that.

Ehhhh, I'm not sure I want this.

Sometimes I really do want to strip, outright strip. It's ok, I'm a
big boy, I know what I'm doing. If I enable both the strip extension
and evolve, why would evolve decide that I don't want to strip,
against my explicit wishes?

I could see a case for Evolve aliasing strip to prune if the strip
extension isn't loaded, but not for acting against my explicit wishes.