some basic Bash scripts/wrappers