some basic Bash scripts