docker-ubuntu-dev CLI for Dev, isolated by Docker Build # Clone tools ./tools/clone.sh # Build make build