Hi Raphael! Some quick questions about dash.preinst:
1. The diversions for /bin/sh and /usr/share/man/sh.1.gz are handled separately. Is that intentional? What is supposed to happen if someone diverts /bin/sh but not the manpage (for example because a maintainer script was interrupted)? 2. The preinst is not idempotent: if interrupted between the dpkg-divert and cp steps, for example, the cp step will never run. Is that fixable? dpkg-divert --rename seems to have the same (timing- dependent) bug, fwiw. 3. If dash diverts /bin/sh, then bash's /bin/sh will be diverted at unpack time: no file conflict. If bash diverts /bin/sh, then dash's /bin/sh will be diverted at unpack time: still no file conflict. But what if the sysadmin diverts /bin/sh with --local? Won't this prevent dash from providing a diversion and cause file conflicts? Looking forward to your thoughts, Jonathan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org