WIP docker

devops/Docker/CI_basic/Dockerfile

+FROM ubuntu:18.04
+
+ENV TZ Europe/Paris
+
+RUN set -x                                            && \
+    ln -snf /usr/share/zoneinfo/${TZ} /etc/localtime  && \
+    echo ${TZ} > /etc/timezone
+
+RUN set -x                                      && \
+    apt-get update                              && \
+    apt-get install -y --no-install-recommends     \
+        software-properties-common                 \
+        ca-certificates                            \
+        apt-transport-https                        \
+        apt-utils                        \
+        git-core                                   \
+        curl                                       \
+        wget
+
+RUN set -x \
+    add-apt-repository ppa:ondrej/php        && \
+    apt-get update                              && \
+    apt-get install -y  php7.3                     \
+                        php7.3-curl                \
+                        php7.3-json                \
+                        php7.3-xml                 \
+                        php7.3-zip
+
+#RUN set -x \
+#    add-apt-repository -y ppa:ondrej/php        && \
+#    apt-get update                              && \
+#    apt-get install -y  php7.2                     \
+#                        php7.2-curl                \
+#                        php7.2-json                \
+#                        php7.2-xml                 \
+#                        php7.2-zip              && \
+#    apt-get install -y  php7.3                     \
+#                        php7.3-curl                \
+#                        php7.3-json                \
+#                        php7.3-xml                 \
+#                        php7.3-zip              && \
+#    apt-get install -y  php7.4                     \
+#                        php7.4-curl                \
+#                        php7.4-json                \
+#                        php7.4-xml                 \
+#                        php7.4-zip
+
+# Clean docker instance.
+RUN apt-get clean \
+ && rm -rf /var/lib/apt/lists/*
+
+RUN set -x \
+    # Install composer
+    curl --silent https://composer.github.io/installer.sig -o -  | tr -d '\n' > installer.sig && \
+    php -r "copy('https://getcomposer.org/installer', 'composer-setup.php');" && \
+    php -r "if (hash_file('SHA384', 'composer-setup.php') === file_get_contents('installer.sig')) { echo 'Installer verified'; } else { echo 'Installer corrupt'; unlink('composer-setup.php'); } echo PHP_EOL;" && \
+    php composer-setup.php --install-dir=/usr/local/bin --filename=composer && \
+    php -r "unlink('composer-setup.php'); unlink('installer.sig');"
+
+RUN set -x  && wget https://get.symfony.com/cli/installer -O - | bash

documentation/10_Install_doc/webapp_Pre-requisites.md

@@ -54,10 +54,10 @@ Documentation: https://getcomposer.org/doc/03-cli.md#check-platform-reqs
 sudo apt-get update
 sudo apt install    \
     php7.2          \
-    php7.0-curl     \
+    php7.2-curl     \
     php7.2-json     \
-    php7.0-xml      \
-    php7.0-zip
+    php7.2-xml      \
+    php7.2-zip
 ```
 
 ### 2. Install composer