Re: Moving bash from essential/required to important?

[Tollef Fog Heen <tfheen@err.no>]

]] 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