Some useful bash shell scripts