On Fri, 19 Aug 2016 15:18:35 +0200 Julian Andres Klode wrote: > On Fri, Aug 19, 2016 at 02:14:22PM +0200, Julian Andres Klode wrote: [...] > > I basically fixed this locally in theory, but in practice > > this does not seem fixable. We invoke our commands with a shell, > > as you might be aware. The signal handling of shells is not portable: > > > > This means that regardless what apt-listbugs exits with, the dash > > shell it was invoked by will always exit with the SIGINT signal.
Yes, it will. This should be due to the already mentioned (in this same bug report [1]) bug #683671 [2], which appears to be unfortunately still unfixed... [1] https://bugs.debian.org/832593#15 [2] https://bugs.debian.org/683671 > > I now added a build-time option APT_SHELL; defaulting to /bin/bash, > and a APT config option Dir::Bin::sh, defaulting to the value of > APT_SHELL, that is used instead of /bin/sh. > > So things should work now: > > https://github.com/Debian/apt/compare/master...julian-klode:bugfix/sigint?expand=1 Thanks a lot, I am looking forward to testing this modification, as soon as the new version of apt is uploaded to unstable or has migrated to testing. Bye! -- http://www.inventati.org/frx/ There's not a second to spare! To the laboratory! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
pgp2eZg0bpEIO.pgp
Description: PGP signature
