Miscellaneous shell scripts.