diff --git a/tools/enter-docker-dev-container.sh b/tools/enter-docker-dev-container.sh new file mode 100755 index 000000000..f03105be6 --- /dev/null +++ b/tools/enter-docker-dev-container.sh @@ -0,0 +1,5 @@ +#!/bin/bash -ex + +# This script assumes that Docker is installed + +docker run -it --rm -v $(pwd):/mnt opensauce04/azahar-build-environment