--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rebuild_docker.sh	Sat Dec 16 17:28:22 2017 +0100
@@ -0,0 +1,16 @@
+#!/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
+
+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