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