]] Luca Capello Hi,
| > * do another mass bug filing on all packages that contain bash | > scripts that checkbashisms does not think contain any bashisms | | ...there is no point using #!/bin/bash when the script is | POSIX-compliant, since the default #!/bin/sh on Debian (dash) is faster | than bash. There might very well be, such as upstream shipping scripts that are written to work on both solaris and linux. (Solaris's /bin/sh isn't POSIX.) Changing this to deviate from upstream would be silly, IMO. Also, lots of scripts aren't speed-sensitive and people don't want to think about whether something uses bashisms or not, so they use «#! /bin/bash» to rather be safe than sorry. (I think the whole «make bash optional» thing is pointless and a waste of developer resources. It makes embedded developers's lives slightly easier at the cost of lots of manual checking, time I think would be better spent fixing real bugs.) Regards, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87oc4ivu9c....@qurzaw.varnish-software.com
