bash tools

Bash scripts for general purposes