Docker container for Emscripten

dev-inf/Docker/Emscripten/Emscripten.dockerfile

@@ -14,6 +14,9 @@ RUN apt-get -y install cmake
 RUN cmake --version
 
 RUN apt-get -y install xz-utils
+RUN xz --version
+
+RUN apt-get -y install lsb-release
 
 WORKDIR /home
 RUN mkdir emscripten

dev-inf/Docker/Emscripten/attach.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+# Exit on error.
+set -e
+
+docker attach Emscripten

dev-inf/Docker/Emscripten/data/see_version.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+
+# This script prints the version of Emscripten SDK. The Docker container must 
+# be started before using this script. This script must be called from the 
+# "Emscripten" container.
+
+# Exit on error.
+set -e
+
+# Apply Emscripten's paths.
+echo PREPARING THE SDK ...
+cd /home/emscripten/emsdk
+source ./emsdk_env.sh
+echo
+
+# Print the version of the tools.
+echo PRINTING VERSIONS.
+lsb_release -a
+git version
+python3 --version
+cmake --version
+xz --version
+emcc --check
+echo

dev-inf/Docker/Emscripten/run.sh

@@ -3,4 +3,4 @@
 # Exit on error.
 set -e
 
-docker run --name Emscripten -it --mount type=bind,source=/home/xxx/Docker/Emscripten/data,destination=/home/data sha256:xxx
+docker run --name Emscripten -it --mount type=bind,source=/home/username/Docker/Emscripten/data,destination=/home/data sha256:b15780ebf6443e3eec8b999a2fdeeb16816ad203eeabd8b6dd12f5c3e8f6be82

dev-inf/Docker/Emscripten/start.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+# Exit on error.
+set -e
+
+docker start Emscripten

dev-inf/Docker/MySQL/docker-compose.yml

@@ -14,7 +14,7 @@ services:
     volumes:
       - type: bind
         # Path to the local (host) data folder.
-        source: /home/xxx/Docker/MySQL/mysql_data
+        source: /home/username/Docker/MySQL/mysql_data
         target: /var/lib/mysql
     environment:
       - 'MYSQL_ROOT_PASSWORD=xxx'

dev-inf/Docker/PostgreSQL/docker-compose.yml

@@ -13,7 +13,7 @@ services:
     volumes:
       - type: bind
         # Path to the local (host) data folder.
-        source: /home/xxx/Docker/PostgreSQL/postgresql_data
+        source: /home/username/Docker/PostgreSQL/postgresql_data
         target: /var/lib/postgresql/data
     environment:
       - 'POSTGRES_PASSWORD=xxx'