On 2020-02-11 02:36:32 +0000, Robinson, Branden (Data61, Kensington NSW) wrote: > # hello, control, been a while... > tag 683671 + patch fixed-upstream > thanks > > Hi Andrej et al., > > After independently encountering and then debugging this problem to the point > where I had a fix, I learned that Antonio Ospite had come up with an > identical one (modulus whitespace) over a year ago[1]. I've attached a copy. > > It really sucks that dash has had this bug for 12 years, given that: > 1. It's Debian's default /bin/sh; > 2. We're required by Policy to 'set -e' in our maintainer scripts[2]; and > 3. Script authors generally don't write signal handlers for fun--they do it > because they need to clean up or roll back some activity, and this bug > utterly frustrates their efforts. [...]
I don't see the relation with bug 683671. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
