Miscellaneous bash scripts I use