> >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? Erm... why not? There is one point I don't agree with dash, which I liked bash for, which is a feature, rather than a bug ;P (the handling of $12) regards, junichi