miscellaneous shell scripts that are not so much worthy