Bug#575361: Fwd: Re: Bug#575361: false positive: E: dash: package-uses-local-diversion

2010-04-28 Thread Russ Allbery
Raphael Geissert atom...@gmail.com writes: I think it is fair to say that it is ok to remove a local diversion if the user is saying that she/he wants dash to be /bin/sh. Not doing so would even leave the diversion and debconf db in an inconsistent state. So, Russ, do you agree that

Bug#575361: Fwd: Re: Bug#575361: false positive: E: dash: package-uses-local-diversion

2010-04-28 Thread Raphael Geissert
On 28 April 2010 21:13, Russ Allbery r...@debian.org wrote: Raphael Geissert atom...@gmail.com writes: I think it is fair to say that it is ok to remove a local diversion if the user is saying that she/he wants dash to be /bin/sh. Not doing so would even leave the diversion and debconf db in

Bug#575361: Fwd: Re: Bug#575361: false positive: E: dash: package-uses-local-diversion

2010-04-28 Thread Russ Allbery
Raphael Geissert geiss...@debian.org writes: One possible solution I can think about is to ignore/bypass the package-uses-local-diversion check for now and later handle the issue when bash is the one that has to divert /bin/sh. I think it would be reasonable to just bail if a local diversion