Hi, just try it on an ubuntu machine and see if it works. I think that dash (on ubunutu /bin/sh) is the "most incompatible" sh you will be able to get. If it runs on ubuntu with /bin/sh then it will work everywhere with /bin/sh, I'd assume.
Patrick _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context