First image, with only g++ 9.3.0 and make.

Author: chavid

docker/Dockerfile

@@ -0,0 +1,26 @@
+
+# Version 1
+FROM gcc:9.3.0
+
+# Ensure use of bash
+SHELL ["/bin/bash","-c"]
+
+# timezone
+ENV TZ=Europe/Paris
+
+# aptget : so to avoid debconf interactive questions
+#RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
+#ARG DEBIAN_FRONTEND=noninteractive
+
+# Installations apt-get
+RUN apt-get update \
+&& apt-get install -y apt-utils  \
+&& apt-get install -y make  \
+&& rm -rf /var/lib/apt/lists/*
+
+# update libraries cache
+#RUN ldconfig
+
+# start a shell by default
+CMD bash
+

docker/README.md

@@ -0,0 +1,3 @@
+* build.sh : apply the Dokerfile recipe, building an image whose name is taken from `name.txt`.
+* push.sh : push the image `name.txt` to the registry
+* run.sh : start a container from the image `name.txt`, and run the command given as arguments. The current directory is mounted as `/work`, and this is where the command is executed.

docker/build.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+SCRIPT_NAME=${BASH_SOURCE[0]}
+SCRIPT_DIR=`dirname ${SCRIPT_NAME}`
+cd ${SCRIPT_DIR}
+
+docker build -f Dockerfile -t `cat name.txt` .
+# --force-rm --no-cache

docker/name.txt

@@ -0,0 +1 @@
+gitlab-registry.cern.ch/sponce/cpluspluscourse:v1

docker/push.sh

@@ -0,0 +1,6 @@
+#!/bin/bash
+
+SCRIPT_NAME=${BASH_SOURCE[0]}
+SCRIPT_DIR=`dirname ${SCRIPT_NAME}`
+
+docker push `cat ${SCRIPT_DIR}/name.txt`

docker/run.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+SCRIPT_NAME=${BASH_SOURCE[0]}
+SCRIPT_DIR=`dirname ${SCRIPT_NAME}`
+
+docker run -it --rm -v $PWD:/work -w /work `cat ${SCRIPT_DIR}/name.txt` $*
+