Sorry, /bin/bash is the default /bin/sh. Life is too short for me to spend mechanically translating *compile time* code to work in less capable shells.
If you want this script to work despite /bin/sh being liked to something else, you're going to have to send me a patch, and that patch is going to have to not make the script less readable. Otherwise I'm just going to add a simple SHELL=/bin/bash to debian/rules in the next dupload to avoid triggering this automatic bashism objector. -- Barak A. Pearlmutter <[EMAIL PROTECTED]> Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland http://www.bcl.hamilton.ie/~barak/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
