Matthias Kilian <[email protected]> writes: > That is strange, since you later mention that you're using ubuntu > (and thus have a bash as /bin/sh),
Nope, Ubuntu has for a long time used /bin/sh -> dash, I believe because this results in a significant speed increase during boot due to the large number of script invocations in init.d, and the fact that dash boots something like ten times faster than bash. I have the same setup on Debian, FWIW. ISTR hearing talk of Debian making dash the default /bin/sh (after Lenny?). > and the command line parsing bug > is a bashism (the line with [^-]*) module=$1 ;; isn't conforming > to posix). It sounds to me like the OP would be better off just installing bash and changing the shebang to #!/usr/local/bin/bash or whatever. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
