Some simple Bash scripts