bash devscript cleanup

Bash script cleanups, principally quoting corrections.