Miscellaneous Bash scripts I've written