Just some convenience shell scripts I occasionally use