A miscellaneous set of posix shell scripts