Miscellaneous bash scripts.