tests/tools/Docker/rebuild_docker.sh
author Edouard Tisserant <edouard@beremiz.fr>
Thu, 28 Mar 2024 12:07:24 +0100
changeset 3921 9bb17341aebb
parent 3693 4058140a8757
permissions -rwxr-xr-x
SVGHMI: Fix wrong documentation copy-pasted in HMI:Page.
#!/bin/bash

set -e

./clean_docker_container.sh || true
./clean_docker_image.sh || true
./build_docker_image.sh
./create_docker_container.sh $1