Hi Raphael, On Tue, Jul 28, 2009 at 02:09:36AM +0200, Raphael Geissert wrote: > Ah, right; I really need to get some sleep, the diversion looks fine. > Although > either you added it manually (did you?) or dash used to use local diversions > (instead of setting the package name on the call to dpkg-divert).
I'm quite sure I did not manually change diversions for /bin/sh. If I remember correctly I once had to change it back using dpkg-reconfigure dash after something set it to bash. > Do you remember more or less since when you started using dash as /bin/sh? Not really. I seem to have installed dash 0.5.4-12 on Aug 26 2008, but I have probably been using it longer. It's just long ago. I think it was some rumors about dash speeding up the boot process that made me switch. Could it be that this was some debconf talk? Helmut -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
