diff -r ad68e85dc416 -r fd09116d3537 rebuild_docker.sh
--- a/rebuild_docker.sh	Sun Dec 17 01:29:32 2017 +0100
+++ b/rebuild_docker.sh	Sat Sep 04 01:35:11 2021 +0200
@@ -1,16 +1,9 @@
 #!/bin/bash
 
-# this script is given as an exemple
-# I use it to prepare a ready-to-build container
-# and then use that container with enter_docker.sh
+set -e
 
-docker rm current
-docker rmi beremiz_builder
-docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t beremiz_builder .
-docker create \
-       --name current \
-       -v ~/src:/home/devel/src \
-       -v ~/build/:/home/devel/build \
-       -v ~/.bash_history:/home/devel/.bash_history \
-       -w /home/devel/build \
-       -i -t beremiz_builder /bin/bash
+./clean_docker_container.sh || true
+./clean_docker_image.sh || true
+./build_docker_image.sh
+./create_docker_container.sh $1
+