edouard@3425: #!/bin/bash
edouard@3425: 
edouard@3425: set -e
edouard@3425: 
edouard@3425: ./clean_docker_container.sh || true
edouard@3425: ./clean_docker_image.sh || true
edouard@3425: ./build_docker_image.sh
edouard@3425: ./create_docker_container.sh $1
edouard@3425: