Some shell scripts I use on my linux box