--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/enter_docker.sh Sat Dec 16 17:28:22 2017 +0100
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+# this script is given as an exemple
+# I use it to have a shell running in ready-to-build container
+# obtained with rebuild_docker.sh
+
+docker start -i current
--- /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