Some bash scripts I wrote