> GNU extensions are all over the place. On purpose and on accident: when Debian switched its /bin/sh from Bash to dash all sorts of things broke (for us) beca

> GNU extensions are all over the place. On purpose and on accident: when Debian switched its /bin/sh from Bash to dash all sorts of things broke (for us) because GNUism were leaking into what should have been a standard language/feature set. We had to tell our users: change your code or change your shebang.