On Mon, Jan 4, 2010 at 10:41, Jonathan Nieder <jrnie...@gmail.com> wrote: > [...snip snip...] > Whether it would be a good idea to change that is of course a > different question. > [...snip snip...]
Indeed, I don't have any opinions on the matter myself. Perhaps dash should stay a 100% POSIX compliant shell which would make /bin/sh in Debian more interchangeable and perhaps it should adopt some limited and common bash-isms to easy the transition from bash to dash & ensure that more scripts can be run with dash in the future. I just wanted to file a bug because following the suggested behavior of Debian broke my system in a minor way. What's done about that is then up to the maintainers. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
