--- 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
+