diff -r ad68e85dc416 -r fd09116d3537 create_docker_container.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/create_docker_container.sh	Sat Sep 04 01:35:11 2021 +0200
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -e
+
+# absolute path to directory containing parent directory of that script
+# (i.e. source directory containing beremiz, matiec, etc..)
+SRCDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )"
+echo "SOURCE direcory : $SRCDIR"
+
+# absolute path to build directory. ~/build if not given as only argument
+BUILDDIR=${1:-~/build}
+mkdir -p $BUILDDIR
+echo "BUILD direcory : $BUILDDIR"
+
+UNAME=devel
+UHOME=/home/$UNAME
+
+echo "Creating docker container"
+docker create \
+       --name beremiz_public_builder_current \
+       -v $SRCDIR:$UHOME/src \
+       -v $BUILDDIR:$UHOME/build \
+       -v /tmp/.X11-unix/X0:/tmp/.X11-unix/X0 \
+       -w $UHOME/build \
+       -i -t beremiz_public_builder /bin/bash