Miscellaneous bash scripts, with absolutely no overall theme.