From 433e6e6720bb50fffcb18d828509d974a2d1799e Mon Sep 17 00:00:00 2001 From: Martin Bohal Date: Thu, 6 Oct 2016 14:56:26 +0200 Subject: [PATCH] Add docker container to build docs --- docker-compose.yml | 4 ++++ docker/mkdocs/Dockerfile | 13 +++++++++++++ docker/mkdocs/init-container.sh | 10 ++++++++++ 3 files changed, 27 insertions(+) create mode 100644 docker-compose.yml create mode 100644 docker/mkdocs/Dockerfile create mode 100644 docker/mkdocs/init-container.sh diff --git a/docker-compose.yml b/docker-compose.yml new file mode 100644 index 0000000..1eaa190 --- /dev/null +++ b/docker-compose.yml @@ -0,0 +1,4 @@ +node: + build: docker/mkdocs + volumes: + - .:/workspace diff --git a/docker/mkdocs/Dockerfile b/docker/mkdocs/Dockerfile new file mode 100644 index 0000000..c3d691e --- /dev/null +++ b/docker/mkdocs/Dockerfile @@ -0,0 +1,13 @@ +FROM debian:latest + +RUN apt-get update && apt-get install -y python-pip +RUN pip install mkdocs +RUN mkdir /workspace +RUN useradd -s /bin/bash docker-container-user + + +COPY ./init-container.sh /root/init-container.sh +WORKDIR /workspace + + + diff --git a/docker/mkdocs/init-container.sh b/docker/mkdocs/init-container.sh new file mode 100644 index 0000000..a682527 --- /dev/null +++ b/docker/mkdocs/init-container.sh @@ -0,0 +1,10 @@ +#/usr/bin/env sh + +# This script is to be executed when the docker container is started + +# Set UID of user www-data on guest to match the UID of the user on the host machine +usermod -u $(stat -c "%u" $1) docker-container-user +# Set GID of group www-data on guest to match the GID of the users primary group on the host machine +groupmod -g $(stat -c "%g" $1) docker-container-user + +chown -R docker-container-user /workspace