support mike via docker container

Author: PhilippSalvisberg

tools/mike.sh

@@ -0,0 +1,8 @@
+#/bin/bash
+
+DATA_DIR="$(cd "$(dirname "${0}")/.." && pwd)"
+GIT_USERNAME="$(git config user.name)"
+GIT_EMAIL="$(git config user.email)"
+COMMAND="/data/tools/run-in-container/mike.sh '${GIT_USERNAME}' '${GIT_EMAIL}' $1 $2 $3 $4"
+
+docker run -v ${DATA_DIR}:/data -p 8000:8000 --rm -it trivadis/mktools bash -c "${COMMAND}"

tools/run-in-container/mike.sh

@@ -0,0 +1,9 @@
+#/bin/bash
+
+GIT_USERNAME=$1
+GIT_EMAIL=$2
+
+cd /data
+git config --global user.name "${GIT_USERNAME}"
+git config --global user.email "${GIT_EMAIL}"
+mike $3 $4 $5 $6