On Mon, Jan 4, 2010 at 10:41, Jonathan Nieder <[email protected]> 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
