Matthias Radestock <matthias at lshift.net> wrote: > Do you know what shell /bin/sh is on your system? This is surely a result of the change of /bin/sh from bash to dash that happened recently on some distros. -ch