Miscellaneous shell scripts