miscellaneous shell scripts