Some useful shell scripts.