Re: [PATCH] A terminating signal has to complete a bash process

2018-05-21 Thread Eduardo Bustamante
It's in commit 96b7e26874047647e85bd5c7e71a7f664174c2cc, in the `devel' branch of the git repository. On Mon, May 21, 2018 at 12:42 AM, Andrei Vagin wrote: > Hello Chet, > > Have you had a chance to try this patch? Let me know if you will have > any questions. > > Thanks, > Andrei > > On Thu, May

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-20 Thread Andrei Vagin
Hello Chet, Have you had a chance to try this patch? Let me know if you will have any questions. Thanks, Andrei On Thu, May 03, 2018 at 04:29:13PM -0400, Chet Ramey wrote: > On 5/1/18 7:55 PM, Andrei Vagin wrote: > > >> If it's not obvious, I'm trying to determine whether making this change > >

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-04 Thread Andrei Vagin
On Thu, May 03, 2018 at 04:29:13PM -0400, Chet Ramey wrote: > On 5/1/18 7:55 PM, Andrei Vagin wrote: > > >> If it's not obvious, I'm trying to determine whether making this change > >> will add any more value than simply exiting (perhaps with a particular > >> exit status). > > > > It will add mo

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-03 Thread Chet Ramey
On 5/1/18 7:55 PM, Andrei Vagin wrote: >> If it's not obvious, I'm trying to determine whether making this change >> will add any more value than simply exiting (perhaps with a particular >> exit status). > > It will add more value. Without this changes, we will not know whether a > bach process

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-01 Thread Andrei Vagin
On Tue, May 01, 2018 at 02:15:17PM -0400, Chet Ramey wrote: > On 5/1/18 12:44 PM, Andrei Vagin wrote: > > On Tue, May 01, 2018 at 10:40:18AM -0400, Chet Ramey wrote: > >> On 4/30/18 6:05 PM, Andrei Vagin wrote: > >>> bash sets a handler for all terminating signals, which saves history, > >>> execut

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-01 Thread Andrei Vagin
On Tue, May 01, 2018 at 10:40:18AM -0400, Chet Ramey wrote: > On 4/30/18 6:05 PM, Andrei Vagin wrote: > > bash sets a handler for all terminating signals, which saves history, > > executes traps, sets a default signal handler and re-sends the same > > signal to itself. It expects that this signal w

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-01 Thread Chet Ramey
On 5/1/18 12:44 PM, Andrei Vagin wrote: > On Tue, May 01, 2018 at 10:40:18AM -0400, Chet Ramey wrote: >> On 4/30/18 6:05 PM, Andrei Vagin wrote: >>> bash sets a handler for all terminating signals, which saves history, >>> executes traps, sets a default signal handler and re-sends the same >>> sign

Re: [PATCH] A terminating signal has to complete a bash process

2018-05-01 Thread Chet Ramey
On 4/30/18 6:05 PM, Andrei Vagin wrote: > bash sets a handler for all terminating signals, which saves history, > executes traps, sets a default signal handler and re-sends the same > signal to itself. It expects that this signal will kill it. > > Unfortunately it doesn't work in Linux, when a bas