The shell scripts I use