Thanks for this discussion and for the patch. I have no idea why this script uses ash instead of sh. Digging into its history a little bit I see that it has been unchanged since December 2003, so who knows what I was thinking.
It will use /bin/sh in the next release. On Tue, Jan 22, 2019 at 09:53:16PM -0500, Antoine Beaupre wrote: > On Tue, Jan 22, 2019 at 09:01:21PM -0300, Juan Picca wrote: > > Closed as not directly related to debian. > > Thanks Antoine for your comments and sorry for the noise. > > Glad I could be of service. > > And no problem at all for the noise, I believe it was a fine patch, it's > just we don't need it in Debian specifically. I would suggest you > contact upstream here: > > https://www.ivarch.com/personal/contact.shtml > > They are usually quite supportive and responsive to patches, bug reports > and suggestions. Don't expect a response immediately, however, they take > their time, which is fine. :) -- Andrew Wood