Some useful shell scripts