Re: Zsh scripts leave defunct processes when running under docker exec

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Feb 11, 10:11am, Peter Stephenson wrote:
}
} If that *is* it, is it just a case of special-casing PID 1 not to do
} "fake" execs?  That's not so hard and shouldn't be problematic in other
} cases.

That would help, but I don't think that's everything, because zsh would
still not reap background grandchildren of children which exited first.

In fact I don't even know how it *could* do that; we've reached the limit
of my current knowledge of docker / PID namespaces.