* Giacomo A. Catenazzi: > but policy recommend not to use bash features on scripts (10.3), > and the availability of a POSIX-shell (with few extension) is > already provided by policy (still 10.3), thus no need to add > package dependencies.
"When in doubt, use /bin/bash" isn't really a recommendation not to use bash, is it? > Apart of install scripts (which IMHO should be moved when possible > to dash, for efficiency reason), I don't think there are so much > shell scripts (or better: a large number but not a huge number), > and some of such scripts really need to be run with dash for > efficiency. Wouldn't it be better to spend the time on speeding up bash (in theory; I don't want to ask other people what to do with their spare time)? -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org