On Nov 21 2020, Chet Ramey wrote: > but since the shell always ignores SIGTERM,
Even a non-interactive shell? > I'd also try it with one of the bash-5.1 testing releases, since I did > some reworking of how the shell handles SIGTERM back in April. 5.1-rc3 has the same issue. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
