[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Moving bash from essential/required to important?

]] Luca Capello 


| >       * 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.)

Tollef Fog Heen
UNIX is user friendly, it's just picky about who its friends are

Reply to: