I wrote this bit of policy, and Manoj's interpretation is correct. It's nice, but not required, for scripts to use /bin/sh. Manoj is being pretty reasonable here:
> The code is not done yet. When I deem it finished, and if it > still does not use bashisms, I shall think about changing it. Guy
