miscellaneous bash scripts