Tools

Bash scripts for general tasks