diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 06302f2b..7cd7c2e9 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -16,6 +16,7 @@ RUN apt-get update && apt-get install -y \ mc \ make \ python3-sphinx \ + python3-pip \ python-sphinx-rtd-theme \ latexmk \ texlive-latex-recommended \ @@ -24,9 +25,13 @@ RUN apt-get update && apt-get install -y \ sudo \ gosu +RUN pip3 install sphinx-autobuild + # Cleanup RUN rm -rf /var/lib/apt/lists/* +EXPOSE 8000 + # Allow password-less 'sudo' for all users in group 'sudo' RUN sed "s/^%sudo.*/%sudo\tALL=(ALL) NOPASSWD:ALL/g" -i /etc/sudoers && \ chmod a+s /usr/sbin/useradd /usr/sbin/groupadd /usr/sbin/gosu /usr/sbin/usermod |