Some simple useful Bash scripts