/bin/bash
# Full pathname to shell to be used in all scripts.
# `sh' will do if it is linked to `bash'. 
# On my RH Lignux, `zsh' and `pdksh' barfs--and not just 
# because of the use of `$[a+b]' syntax.  Any ideas?
