Some useful bash shell scripts I developed