Is it possible to move /bin/sh to the Debian alternatives system to permanently solve this bug?
Make anything which requires POSIX shell to depend on a new virtual package called "posix-shell" and provide this virtual package by bash, dash, ksh, etc. Then every shell uses the update-alternatives perl script to manage /bin/sh Upgrade path: When every shell is ready for the alternatives system, check if /bin/sh is managed by alternatives. If not, remove it and install the link again. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
