|
|
|
|
|
|
by mst
833 days ago
|
|
|
I wonder if restoring the process leader before doing the exec would work out okay, or if that's just going to end up being differently confusing. I suspect, on the whole, this was a clever idea in theory with unfortunate consequences in practice (much like most of my clever ideas) and would be better just being reverted. However, I'm not usually a zsh user myself so I'm loath to file a bug given there may be actual zsh users out there who like/rely on this behaviour. |
|
|
That sounds like reason for a “won’t fix” response more than a reason not to file the bug in the first place. If nothing else it provides an opportunity to explain why it is the way it is.