Minor linting of shell scripts

These are to be made more portable soon, so linting helps in advance of
that.