[linux] Re: bash-bug

[Bart-Jan Vrielink]

Hans,


Als je scripts niet in een andere shell werken, dan moet je expliciet aangeven dat ze #!/bin/bash nodig hebben, niet #!/bin/sh.



Een belangrijke reden om niet bash als default shell te willen hebben (afgezien van deze bug) is dat bash behoorlijk veel resources vraagt. dash is veel sneller.



Verder wijkt Linux met bash nogal af van de standaard Unix shell, en is het (als je ook op andere Unix smaken verblijft) handiger om een shell die zo POSIX compatible als mogelijk is. Bash is dat duidelijk niet.



Mijn voorkeur is bash voor interactief werk, standaard shell voor scripts (tenzij je bewust Bash features nodig hebt). In alle gevallen specificeren wat je nodig hebt.



Overigens, het eerste wat ik doe bij een nieuwe (K)ubuntu is sowieso 

dash weer vervangen door bash, omdat anders niet al mijn geliefde 
scriptjes werken. En dan erger ik me rot aan die eigenwijzigheid van 
(K)ubuntu, want wat is in 'shemelsnaam het nut van dash boven bash?

Behalve dit specifieke probleem dan.