Debian dash is the default /bin/sh these days in debian.
res does not like it, because users submit jobs in bash mode and dash does not
have all the features of dash.
make res work with debian dash
if not, add code to warn user that "you are using dash"
Original issue reported on code.google.com by geo...@marsel.is on 25 May 2013 at 9:52
Original issue reported on code.google.com by
geo...@marsel.is
on 25 May 2013 at 9:52