Merge branch 'docker' into 'master'

docker files

See merge request !6

docker/Dockerfile.dev

+
+# Version DEV
+FROM ubuntu:bionic
+
+# Ensure use of bash
+SHELL ["/bin/bash","-c"]
+
+# aptget : so to avoid debconf interactive questions
+#RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
+ARG DEBIAN_FRONTEND=noninteractive
+
+# aptget installations
+RUN apt-get update \
+&& apt-get install -y python3 python3-pip \
+&& rm -rf /var/lib/apt/lists/*
+
+# flask
+RUN python3 -m pip install flask
+EXPOSE 5000
+ENV FLASK_APP=app/labelsTower.py
+ENV LC_ALL=C.UTF-8
+ENV LANG=C.UTF-8
+CMD [ "flask", "run", "--host", "0.0.0.0" ]
+
+
+

docker/README.md

+
+# Build Image
+
+The command `build.sh` is expected to be launched within the `docker` directory. Each time a significant change is made to the `Dockerfile`, please increase the version number in all files.
+
+# Check Image
+
+The command `run.sh` is expected to be launched in the upper main directory.
+
+# Share Image
+
+The command `push.sh` is expected to be launched wherever you want, but only once an image is stable and usable by others.
+
+

docker/build.sh

+#!/bin/bash
+docker build  -f Dockerfile.dev -t `cat image.txt` .
+# --force-rm --no-cache
\ No newline at end of file

docker/image.txt

+gitlab-registry.in2p3.fr/maitresnageurs/readme/labelstower:dev
\ No newline at end of file

docker/push.sh

+#!/bin/bash
+docker push `cat image.txt`

docker/run.sh

+#!/bin/bash
+# Flask opère sur le port 5000
+docker run -it --rm -p 5000:5000 -v $PWD/..:/work -w /work `cat image.txt`
+#docker run -it --rm  -v $PWD/..:/work -w /work `cat image.txt`
+
+ 
\ No newline at end of file