On Jan 11, Ian Zimmerman <itz@speakeasy.org> wrote: >minibash is simply a debianized build of bash with >--enable-minimal-config. I have just switched my /bin/sh to it, and >it works nicely. And why should it be preferred to dash? -- ciao, Marco